t(cold(troy)).

istrue(T) :- functor(T,cold,1), call(t(T)).