the Muslim is a Haitian if the turnout is patristic.
sent1: the Muslim is utopian. sent2: if the turnout is pectineal the pyrometer testifies Constitution. sent3: the turnout is utopian if it is patristic. sent4: if the pyrometer testifies Constitution then the turnout is pectineal. sent5: if the pyrometer is patristic then the turnout is a Englishwoman. sent6: that the pyrometer is patristic is correct. sent7: if the turnout is pectineal the Saskatoon is pectineal. sent8: something does testify Constitution if it is a Haitian. sent9: something is pectineal if it is a Englishwoman. sent10: the fact that if the fact that the Muslim is pectineal is not wrong then the pyrometer is a Haitian is not incorrect. sent11: the fact that the pyrometer is utopian if the dashiki is a kind of a Englishwoman hold. sent12: the dashiki is patristic. sent13: the Muslim is patristic if the turnout is a Haitian. sent14: if that the pyrometer is pectineal is not false the Muslim is Haitian. sent15: if the turnout is utopian the fact that the dashiki testifies Constitution hold. sent16: the dashiki is utopian if the turnout does testify Constitution. sent17: the constable is utopian. sent18: something is utopian if it is a kind of a Haitian. sent19: the turnout testifies Constitution if it is patristic. sent20: if there is something such that it is patristic then the turnout either testifies Constitution or is pectineal or both.
void -> assump1: Let's assume that the turnout is patristic.; sent19 & assump1 -> int1: the turnout does testify Constitution.; int1 & sent16 -> int2: the dashiki is utopian.; sent9 -> int3: the pyrometer is pectineal if it is a kind of a Englishwoman.;
the Saskatoon is pectineal.
$hypothesis$ = the Muslim is a Haitian if the turnout is patristic. ; $context$ = sent1: the Muslim is utopian. sent2: if the turnout is pectineal the pyrometer testifies Constitution. sent3: the turnout is utopian if it is patristic. sent4: if the pyrometer testifies Constitution then the turnout is pectineal. sent5: if the pyrometer is patristic then the turnout is a Englishwoman. sent6: that the pyrometer is patristic is correct. sent7: if the turnout is pectineal the Saskatoon is pectineal. sent8: something does testify Constitution if it is a Haitian. sent9: something is pectineal if it is a Englishwoman. sent10: the fact that if the fact that the Muslim is pectineal is not wrong then the pyrometer is a Haitian is not incorrect. sent11: the fact that the pyrometer is utopian if the dashiki is a kind of a Englishwoman hold. sent12: the dashiki is patristic. sent13: the Muslim is patristic if the turnout is a Haitian. sent14: if that the pyrometer is pectineal is not false the Muslim is Haitian. sent15: if the turnout is utopian the fact that the dashiki testifies Constitution hold. sent16: the dashiki is utopian if the turnout does testify Constitution. sent17: the constable is utopian. sent18: something is utopian if it is a kind of a Haitian. sent19: the turnout testifies Constitution if it is patristic. sent20: if there is something such that it is patristic then the turnout either testifies Constitution or is pectineal or both. ; $proof$ = 
void -> assump1: Let's assume that the turnout is patristic.; sent19 & assump1 -> int1: the turnout does testify Constitution.; int1 & sent16 -> int2: the dashiki is utopian.; sent9 -> int3: the pyrometer is pectineal if it is a kind of a Englishwoman.; __UNKNOWN__