true_to(p)

true_to(p), rtrue_to(p), 5true_to(p), 6true_to(p), ytrue_to(p), gtrue_to(p), rrue_to(p), 5rue_to(p), 6rue_to(p), yrue_to(p), grue_to(p), trrue_to(p), t5rue_to(p), t6rue_to(p), tyrue_to(p), tgrue_to(p), terue_to(p), t4rue_to(p), t5rue_to(p), ttrue_to(p), tfrue_to(p), teue_to(p), t4ue_to(p), t5ue_to(p), ttue_to(p), tfue_to(p), treue_to(p), tr4ue_to(p), tr5ue_to(p), trtue_to(p), trfue_to(p), tryue_to(p), tr7ue_to(p), tr8ue_to(p), triue_to(p), trjue_to(p), trye_to(p), tr7e_to(p), tr8e_to(p), trie_to(p), trje_to(p), truye_to(p), tru7e_to(p), tru8e_to(p), truie_to(p), truje_to(p), truwe_to(p), tru3e_to(p), tru4e_to(p), trure_to(p), truse_to(p), trude_to(p), truw_to(p), tru3_to(p), tru4_to(p), trur_to(p), trus_to(p), trud_to(p), truew_to(p), true3_to(p), true4_to(p), truer_to(p), trues_to(p), trued_to(p), true_to(p), trueto(p), true_to(p), true_rto(p), true_5to(p), true_6to(p), true_yto(p), true_gto(p), true_ro(p), true_5o(p), true_6o(p), true_yo(p), true_go(p), true_tro(p), true_t5o(p), true_t6o(p), true_tyo(p), true_tgo(p), true_tio(p), true_t9o(p), true_t0o(p), true_tpo(p), true_tlo(p), true_ti(p), true_t9(p), true_t0(p), true_tp(p), true_tl(p), true_toi(p), true_to9(p), true_to0(p), true_top(p), true_tol(p), true_to(p), true_top), true_to(p), true_to(op), true_to(0p), true_to(lp), true_to(o), true_to(0), true_to(l), true_to(po), true_to(p0), true_to(pl), true_to(p), true_to(p, true_to(p).