the fact that the magnetism is not a heuristic and it is not tubal is false.
sent1: there is something such that that it is not anorthitic and/or does bar Viyella is false. sent2: the magnetism is not a Lancastrian. sent3: the magnetism is not a putout. sent4: if there exists something such that the fact that either it is not a kind of a suicide or it is a putout or both is not right the Neapolitan is not a heuristic. sent5: if the Maya is not lymphocytic then the fact that the magnetism is not Lancastrian is correct. sent6: the Maya is Lancastrian. sent7: the magnetism is non-heuristic a suicide. sent8: the choc-ice is not tubal if the magnetism is not a whiff. sent9: the Neapolitan is not Lancastrian. sent10: the fact that the magnetism is not a whiff is not false. sent11: if the Neapolitan is not a laxness the choc-ice is not a putout and it does not batch scriptorium. sent12: there exists something such that the fact that it is not heuristic and/or it is a kind of a putout is false. sent13: if the magnetism does not batch scriptorium then the choc-ice is a kind of non-heuristic thing that is not a suicide. sent14: the Neapolitan is not a kind of a andrena. sent15: if the Maya is not lymphocytic then the magnetism is not tubal and it is not a Lancastrian. sent16: if the fact that the choc-ice does batch scriptorium is correct the Neapolitan is a putout. sent17: the Neapolitan is a kind of a suicide. sent18: the Neapolitan is a kind of a laxness. sent19: if there exists something such that the fact that it is anorthitic or bars Viyella or both is incorrect then the choc-ice does not whiff. sent20: if the Neapolitan is a kind of a suicide the magnetism is a kind of a laxness. sent21: the choc-ice is not a whiff if there exists something such that that the fact that it is not anorthitic and/or bars Viyella hold is not correct. sent22: the Neapolitan is a laxness but not a putout. sent23: the magnetism is a suicide but it is not a whiff. sent24: if there exists something such that that it is not heuristic and/or it is a kind of a Lancastrian is wrong the magnetism is not tubal. sent25: the fact that the magnetism is a suicide is true. sent26: the Maya is non-lymphocytic if the choc-ice does not batch scriptorium and is not a kind of a whiff. sent27: the choc-ice is not a kind of a heuristic if there is something such that the fact that it is a whiff and/or it is tubal is not right.
void -> assump1: Let's assume that the choc-ice does batch scriptorium.; sent16 & assump1 -> int1: the Neapolitan is a putout.; sent22 -> int2: the Neapolitan is not a putout.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the choc-ice does not batch scriptorium.; sent1 & sent21 -> int5: that the choc-ice does not whiff is not wrong.; int4 & int5 -> int6: the choc-ice does not batch scriptorium and it does not whiff.; int6 & sent26 -> int7: the Maya is not lymphocytic.; int7 & sent15 -> int8: the magnetism is not tubal and is not a kind of a Lancastrian.; int8 -> int9: the magnetism is not tubal.; sent7 -> int10: the magnetism is not a kind of a heuristic.; int9 & int10 -> hypothesis;
$hypothesis$ = the fact that the magnetism is not a heuristic and it is not tubal is false. ; $context$ = sent1: there is something such that that it is not anorthitic and/or does bar Viyella is false. sent2: the magnetism is not a Lancastrian. sent3: the magnetism is not a putout. sent4: if there exists something such that the fact that either it is not a kind of a suicide or it is a putout or both is not right the Neapolitan is not a heuristic. sent5: if the Maya is not lymphocytic then the fact that the magnetism is not Lancastrian is correct. sent6: the Maya is Lancastrian. sent7: the magnetism is non-heuristic a suicide. sent8: the choc-ice is not tubal if the magnetism is not a whiff. sent9: the Neapolitan is not Lancastrian. sent10: the fact that the magnetism is not a whiff is not false. sent11: if the Neapolitan is not a laxness the choc-ice is not a putout and it does not batch scriptorium. sent12: there exists something such that the fact that it is not heuristic and/or it is a kind of a putout is false. sent13: if the magnetism does not batch scriptorium then the choc-ice is a kind of non-heuristic thing that is not a suicide. sent14: the Neapolitan is not a kind of a andrena. sent15: if the Maya is not lymphocytic then the magnetism is not tubal and it is not a Lancastrian. sent16: if the fact that the choc-ice does batch scriptorium is correct the Neapolitan is a putout. sent17: the Neapolitan is a kind of a suicide. sent18: the Neapolitan is a kind of a laxness. sent19: if there exists something such that the fact that it is anorthitic or bars Viyella or both is incorrect then the choc-ice does not whiff. sent20: if the Neapolitan is a kind of a suicide the magnetism is a kind of a laxness. sent21: the choc-ice is not a whiff if there exists something such that that the fact that it is not anorthitic and/or bars Viyella hold is not correct. sent22: the Neapolitan is a laxness but not a putout. sent23: the magnetism is a suicide but it is not a whiff. sent24: if there exists something such that that it is not heuristic and/or it is a kind of a Lancastrian is wrong the magnetism is not tubal. sent25: the fact that the magnetism is a suicide is true. sent26: the Maya is non-lymphocytic if the choc-ice does not batch scriptorium and is not a kind of a whiff. sent27: the choc-ice is not a kind of a heuristic if there is something such that the fact that it is a whiff and/or it is tubal is not right. ; $proof$ = 
void -> assump1: Let's assume that the choc-ice does batch scriptorium.; sent16 & assump1 -> int1: the Neapolitan is a putout.; sent22 -> int2: the Neapolitan is not a putout.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the choc-ice does not batch scriptorium.; sent1 & sent21 -> int5: that the choc-ice does not whiff is not wrong.; int4 & int5 -> int6: the choc-ice does not batch scriptorium and it does not whiff.; int6 & sent26 -> int7: the Maya is not lymphocytic.; int7 & sent15 -> int8: the magnetism is not tubal and is not a kind of a Lancastrian.; int8 -> int9: the magnetism is not tubal.; sent7 -> int10: the magnetism is not a kind of a heuristic.; int9 & int10 -> hypothesis; __DISPROVED__