the upholder trices true.
sent1: that the thickhead does not occult guesthouse is not incorrect if there exists something such that the fact that it does not occult Crete and abounds is false. sent2: the upholder is not cannibalistic if it is not incompetent. sent3: if the upholder does trice true then that it is competent and Anglophobic is wrong. sent4: the fact that the upholder is not competent but it is Anglophobic does not hold if it trices true. sent5: the fact that something does not occult Crete but it abounds does not hold if it occults dixie. sent6: something does occult filling if that it is a kind of non-pyloric thing that does not occult filling is incorrect. sent7: the minge is not a watercraft if the fact that the upholder is a watercraft and it is cannibalistic is not right. sent8: if the fact that something is incompetent thing that is Anglophobic is incorrect it is non-cannibalistic. sent9: that the upholder is competent and it is Anglophobic does not hold. sent10: if something that does occult filling occults pinworm then the clavichord does not trice true. sent11: that the thickhead is not pyloric and does not occult filling is wrong. sent12: that the upholder does not founder is correct. sent13: if something does not occult filling then the fact that it does occult pinworm and it is cannibalistic does not hold. sent14: the fact that the upholder does not trice true is incorrect if there is something such that that it does occult pinworm and is cannibalistic does not hold. sent15: the fact that everything occults dixie is correct. sent16: if something does occult pinworm then it is cannibalistic. sent17: the upholder does occult pinworm and does occult filling. sent18: if that the thickhead does not occult guesthouse is not wrong then that the clavichord is pyloric and it is sugary does not hold.
void -> assump1: Let's assume that the upholder does trice true.; sent4 & assump1 -> int1: the fact that the upholder is not competent and is Anglophobic does not hold.; sent8 -> int2: the upholder is not cannibalistic if that it is not competent and is Anglophobic does not hold.; int1 & int2 -> int3: the fact that the upholder is not cannibalistic is true.; sent16 -> int4: the upholder is cannibalistic if it occults pinworm.; sent17 -> int5: the upholder occults pinworm.; int4 & int5 -> int6: that the upholder is cannibalistic hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the upholder does trice true.
sent13 -> int8: that the clavichord occults pinworm and it is cannibalistic is incorrect if it does not occult filling.; sent5 -> int9: if the horse-cart occults dixie then that it does not occult Crete and it does abound is incorrect.; sent15 -> int10: the horse-cart occults dixie.; int9 & int10 -> int11: that the horse-cart does not occult Crete and abounds is not correct.; int11 -> int12: there is nothing such that it does not occult Crete and it does abound.; int12 -> int13: that the stockfish does not occult Crete but it does abound is false.; int13 -> int14: there exists something such that that it does not occult Crete and it abounds is incorrect.; int14 & sent1 -> int15: that the thickhead does not occult guesthouse is not false.; int15 & sent18 -> int16: the fact that the clavichord is pyloric and is sugary is incorrect.;
$hypothesis$ = the upholder trices true. ; $context$ = sent1: that the thickhead does not occult guesthouse is not incorrect if there exists something such that the fact that it does not occult Crete and abounds is false. sent2: the upholder is not cannibalistic if it is not incompetent. sent3: if the upholder does trice true then that it is competent and Anglophobic is wrong. sent4: the fact that the upholder is not competent but it is Anglophobic does not hold if it trices true. sent5: the fact that something does not occult Crete but it abounds does not hold if it occults dixie. sent6: something does occult filling if that it is a kind of non-pyloric thing that does not occult filling is incorrect. sent7: the minge is not a watercraft if the fact that the upholder is a watercraft and it is cannibalistic is not right. sent8: if the fact that something is incompetent thing that is Anglophobic is incorrect it is non-cannibalistic. sent9: that the upholder is competent and it is Anglophobic does not hold. sent10: if something that does occult filling occults pinworm then the clavichord does not trice true. sent11: that the thickhead is not pyloric and does not occult filling is wrong. sent12: that the upholder does not founder is correct. sent13: if something does not occult filling then the fact that it does occult pinworm and it is cannibalistic does not hold. sent14: the fact that the upholder does not trice true is incorrect if there is something such that that it does occult pinworm and is cannibalistic does not hold. sent15: the fact that everything occults dixie is correct. sent16: if something does occult pinworm then it is cannibalistic. sent17: the upholder does occult pinworm and does occult filling. sent18: if that the thickhead does not occult guesthouse is not wrong then that the clavichord is pyloric and it is sugary does not hold. ; $proof$ = 
void -> assump1: Let's assume that the upholder does trice true.; sent4 & assump1 -> int1: the fact that the upholder is not competent and is Anglophobic does not hold.; sent8 -> int2: the upholder is not cannibalistic if that it is not competent and is Anglophobic does not hold.; int1 & int2 -> int3: the fact that the upholder is not cannibalistic is true.; sent16 -> int4: the upholder is cannibalistic if it occults pinworm.; sent17 -> int5: the upholder occults pinworm.; int4 & int5 -> int6: that the upholder is cannibalistic hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__