the bachelor is not phonic.
sent1: the quail is not paleoanthropological if the fact that either the Hall is not a meperidine or it is a partitionist or both is not true. sent2: if a babassu is not paleoanthropological it is non-phonic. sent3: there exists something such that it is a shark. sent4: the bachelor covers Keynesianism but it is not sexagesimal if there is something such that it is not a sublimation. sent5: if something covers deodar then it is current. sent6: if the Hall is current and it is paleoanthropological then the bachelor is paleoanthropological. sent7: if the Marylander is not a sublimation the bachelor is phonic. sent8: that the hairball is a kind of noncurrent thing that does not cover Keynesianism is not true if it does not shark. sent9: something is not sexagesimal and it is not paleoanthropological if it is not a meperidine. sent10: something that is not a babassu is non-sexagesimal thing that does not caucus Dugongidae. sent11: if there exists something such that it is a kind of a shark the fact that the quail is not a kind of a sublimation is not incorrect. sent12: the Marylander is not a sublimation if the fact that the Hall is not a meperidine and/or it is a partitionist is not incorrect. sent13: if the Hall is not a babassu then the fact that the bachelor is not paleoanthropological but it is phonic is not true. sent14: if that the hairball is sexagesimal but it is not paleoanthropological is not correct then it is not a babassu. sent15: something is not current and does not cover Keynesianism if it is not a babassu. sent16: that the hairball is sexagesimal and not paleoanthropological is wrong if the fact that the quail is paleoanthropological hold. sent17: the fact that that the Marylander is a sublimation that is not sexagesimal is not right is not incorrect if the hairball is not sexagesimal. sent18: that the hairball does not shark hold. sent19: something is a babassu if it does cover Keynesianism and it is not sexagesimal.
void -> assump1: Let's assume that the fact that the Hall is not a meperidine or a partitionist or both is incorrect.; sent1 & assump1 -> int1: the quail is not paleoanthropological.; int1 & sent16 -> int2: that the hairball is sexagesimal and is not paleoanthropological is wrong.; int2 & sent14 -> int3: the hairball is not a babassu.; sent15 -> int4: if the fact that the hairball is not a babassu hold it is not current and it does not cover Keynesianism.; int3 & int4 -> int5: the fact that the hairball is not a current and does not cover Keynesianism is right.; sent8 & sent18 -> int6: that the hairball is noncurrent and does not cover Keynesianism is not true.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Hall is not a meperidine or a partitionist or both.; int8 & sent12 -> int9: the fact that the Marylander is not a sublimation is not false.; int9 & sent7 -> hypothesis;
that the bachelor is not phonic is not false.
sent2 -> int10: the bachelor is non-phonic if the fact that it is a babassu and it is not paleoanthropological is correct.; sent19 -> int11: the bachelor is a babassu if it does cover Keynesianism and it is not sexagesimal.; sent3 & sent11 -> int12: the quail is not a sublimation.; int12 -> int13: there exists something such that it is not a kind of a sublimation.; int13 & sent4 -> int14: the bachelor covers Keynesianism and is not sexagesimal.; int11 & int14 -> int15: the bachelor is a babassu.; sent5 -> int16: the Hall is current if it does cover deodar.;
$hypothesis$ = the bachelor is not phonic. ; $context$ = sent1: the quail is not paleoanthropological if the fact that either the Hall is not a meperidine or it is a partitionist or both is not true. sent2: if a babassu is not paleoanthropological it is non-phonic. sent3: there exists something such that it is a shark. sent4: the bachelor covers Keynesianism but it is not sexagesimal if there is something such that it is not a sublimation. sent5: if something covers deodar then it is current. sent6: if the Hall is current and it is paleoanthropological then the bachelor is paleoanthropological. sent7: if the Marylander is not a sublimation the bachelor is phonic. sent8: that the hairball is a kind of noncurrent thing that does not cover Keynesianism is not true if it does not shark. sent9: something is not sexagesimal and it is not paleoanthropological if it is not a meperidine. sent10: something that is not a babassu is non-sexagesimal thing that does not caucus Dugongidae. sent11: if there exists something such that it is a kind of a shark the fact that the quail is not a kind of a sublimation is not incorrect. sent12: the Marylander is not a sublimation if the fact that the Hall is not a meperidine and/or it is a partitionist is not incorrect. sent13: if the Hall is not a babassu then the fact that the bachelor is not paleoanthropological but it is phonic is not true. sent14: if that the hairball is sexagesimal but it is not paleoanthropological is not correct then it is not a babassu. sent15: something is not current and does not cover Keynesianism if it is not a babassu. sent16: that the hairball is sexagesimal and not paleoanthropological is wrong if the fact that the quail is paleoanthropological hold. sent17: the fact that that the Marylander is a sublimation that is not sexagesimal is not right is not incorrect if the hairball is not sexagesimal. sent18: that the hairball does not shark hold. sent19: something is a babassu if it does cover Keynesianism and it is not sexagesimal. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Hall is not a meperidine or a partitionist or both is incorrect.; sent1 & assump1 -> int1: the quail is not paleoanthropological.; int1 & sent16 -> int2: that the hairball is sexagesimal and is not paleoanthropological is wrong.; int2 & sent14 -> int3: the hairball is not a babassu.; sent15 -> int4: if the fact that the hairball is not a babassu hold it is not current and it does not cover Keynesianism.; int3 & int4 -> int5: the fact that the hairball is not a current and does not cover Keynesianism is right.; sent8 & sent18 -> int6: that the hairball is noncurrent and does not cover Keynesianism is not true.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Hall is not a meperidine or a partitionist or both.; int8 & sent12 -> int9: the fact that the Marylander is not a sublimation is not false.; int9 & sent7 -> hypothesis; __DISPROVED__