the tetrafluoroethylene does not read supremo.
sent1: if something is not a Zoroaster and does not read chiseled then it is unlikely. sent2: the tetrafluoroethylene is not a Zoroaster. sent3: if something that does not unscrew homosexual does not read inflammation then it is inadequate. sent4: the cat's-ear does not deafen Cocculus and does not read duel. sent5: the tetrafluoroethylene reads duel if the fact that it is ritualistic hold. sent6: the evaluator does not read chiseled. sent7: The chiseled does not read tetrafluoroethylene. sent8: The duel does not read tetrafluoroethylene. sent9: the fundamentalist is not a Zoroaster. sent10: something does read supremo if it deafens spirograph. sent11: the tetrafluoroethylene does not read duel. sent12: the tetrafluoroethylene does not read chiseled. sent13: if something that is not ritualistic is unlikely it does not read supremo. sent14: if the collodion is not ritualistic then the tetrafluoroethylene reads supremo. sent15: the tetrafluoroethylene is a kind of a syllabary.
void -> assump1: Let's assume that the tetrafluoroethylene is ritualistic.; sent5 & assump1 -> int1: the tetrafluoroethylene does read duel.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tetrafluoroethylene is not ritualistic.; sent1 -> int4: the tetrafluoroethylene is unlikely if it is not a Zoroaster and does not read chiseled.; sent2 & sent12 -> int5: the tetrafluoroethylene is not a Zoroaster and does not read chiseled.; int4 & int5 -> int6: the tetrafluoroethylene is unlikely.; int3 & int6 -> int7: the tetrafluoroethylene is both not ritualistic and unlikely.; sent13 -> int8: the tetrafluoroethylene does not read supremo if it is not ritualistic and it is unlikely.; int7 & int8 -> hypothesis;
the tetrafluoroethylene reads supremo if that it deafens spirograph is not false.
sent10 -> hypothesis;
$hypothesis$ = the tetrafluoroethylene does not read supremo. ; $context$ = sent1: if something is not a Zoroaster and does not read chiseled then it is unlikely. sent2: the tetrafluoroethylene is not a Zoroaster. sent3: if something that does not unscrew homosexual does not read inflammation then it is inadequate. sent4: the cat's-ear does not deafen Cocculus and does not read duel. sent5: the tetrafluoroethylene reads duel if the fact that it is ritualistic hold. sent6: the evaluator does not read chiseled. sent7: The chiseled does not read tetrafluoroethylene. sent8: The duel does not read tetrafluoroethylene. sent9: the fundamentalist is not a Zoroaster. sent10: something does read supremo if it deafens spirograph. sent11: the tetrafluoroethylene does not read duel. sent12: the tetrafluoroethylene does not read chiseled. sent13: if something that is not ritualistic is unlikely it does not read supremo. sent14: if the collodion is not ritualistic then the tetrafluoroethylene reads supremo. sent15: the tetrafluoroethylene is a kind of a syllabary. ; $proof$ = 
void -> assump1: Let's assume that the tetrafluoroethylene is ritualistic.; sent5 & assump1 -> int1: the tetrafluoroethylene does read duel.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tetrafluoroethylene is not ritualistic.; sent1 -> int4: the tetrafluoroethylene is unlikely if it is not a Zoroaster and does not read chiseled.; sent2 & sent12 -> int5: the tetrafluoroethylene is not a Zoroaster and does not read chiseled.; int4 & int5 -> int6: the tetrafluoroethylene is unlikely.; int3 & int6 -> int7: the tetrafluoroethylene is both not ritualistic and unlikely.; sent13 -> int8: the tetrafluoroethylene does not read supremo if it is not ritualistic and it is unlikely.; int7 & int8 -> hypothesis; __PROVED__