that the Lota is a kind of nonrepresentative thing that is not a yesterday does not hold.
sent1: the sahib does not tunnel butyrin if the butyrin is a yesterday. sent2: the fact that the Lota is a kind of nonrepresentative a yesterday does not hold. sent3: something is not a maleberry. sent4: the sahib is not a reservoir or it is a maleberry or both. sent5: that the butyrin is both a reservoir and not a thermogram is incorrect if the sahib is not a thermogram. sent6: if there is something such that it does deaminate anticyclone the nitrogenase is a yesterday and it is nonrepresentative. sent7: the fact that the sahib does peck Lota and is not a kind of a yesterday is not right. sent8: the butyrin is a Tutsi if the nitrogenase is a Puebla. sent9: if the butyrin is a kind of a Tutsi then the Lota is irreducible. sent10: there exists something such that that it is non-Zimbabwean is right. sent11: the fact that the Lota is nonrepresentative but it is not a reservoir is not true if the sahib is not a reservoir. sent12: the butyrin is a yesterday or it is a thermogram or both if the fact that there exists something such that it is a yesterday is true. sent13: the fact that the Lota is nonrepresentative but it is not a yesterday is incorrect if the nitrogenase is not a kind of a yesterday. sent14: if there is something such that it is not a thermogram then the nitrogenase is not a yesterday. sent15: if something is irreducible then it is nonrepresentative. sent16: the Lota is not a yesterday and/or is a maleberry. sent17: the nitrogenase is not nonrepresentative if the Lota is not a thermogram and/or is a yesterday. sent18: if the sahib is not a reservoir then the fact that the Lota is both nonrepresentative and a reservoir is false. sent19: the butyrin is not a kind of a thermogram if the sahib is not a kind of a reservoir and/or is a maleberry. sent20: there exists something such that it is a kind of a yesterday. sent21: if that the sahib is not a yesterday is not incorrect then the fact that the nitrogenase is both a maleberry and not a yesterday does not hold. sent22: the sahib is a yesterday and/or it is a reservoir.
sent19 & sent4 -> int1: the butyrin is not a thermogram.; int1 -> int2: there exists something such that it is not a thermogram.; int2 & sent14 -> int3: the nitrogenase is not a yesterday.; int3 & sent13 -> hypothesis;
the Lota is a kind of nonrepresentative thing that is not a kind of a yesterday.
sent15 -> int4: the Lota is nonrepresentative if it is irreducible.;
$hypothesis$ = that the Lota is a kind of nonrepresentative thing that is not a yesterday does not hold. ; $context$ = sent1: the sahib does not tunnel butyrin if the butyrin is a yesterday. sent2: the fact that the Lota is a kind of nonrepresentative a yesterday does not hold. sent3: something is not a maleberry. sent4: the sahib is not a reservoir or it is a maleberry or both. sent5: that the butyrin is both a reservoir and not a thermogram is incorrect if the sahib is not a thermogram. sent6: if there is something such that it does deaminate anticyclone the nitrogenase is a yesterday and it is nonrepresentative. sent7: the fact that the sahib does peck Lota and is not a kind of a yesterday is not right. sent8: the butyrin is a Tutsi if the nitrogenase is a Puebla. sent9: if the butyrin is a kind of a Tutsi then the Lota is irreducible. sent10: there exists something such that that it is non-Zimbabwean is right. sent11: the fact that the Lota is nonrepresentative but it is not a reservoir is not true if the sahib is not a reservoir. sent12: the butyrin is a yesterday or it is a thermogram or both if the fact that there exists something such that it is a yesterday is true. sent13: the fact that the Lota is nonrepresentative but it is not a yesterday is incorrect if the nitrogenase is not a kind of a yesterday. sent14: if there is something such that it is not a thermogram then the nitrogenase is not a yesterday. sent15: if something is irreducible then it is nonrepresentative. sent16: the Lota is not a yesterday and/or is a maleberry. sent17: the nitrogenase is not nonrepresentative if the Lota is not a thermogram and/or is a yesterday. sent18: if the sahib is not a reservoir then the fact that the Lota is both nonrepresentative and a reservoir is false. sent19: the butyrin is not a kind of a thermogram if the sahib is not a kind of a reservoir and/or is a maleberry. sent20: there exists something such that it is a kind of a yesterday. sent21: if that the sahib is not a yesterday is not incorrect then the fact that the nitrogenase is both a maleberry and not a yesterday does not hold. sent22: the sahib is a yesterday and/or it is a reservoir. ; $proof$ = 
sent19 & sent4 -> int1: the butyrin is not a thermogram.; int1 -> int2: there exists something such that it is not a thermogram.; int2 & sent14 -> int3: the nitrogenase is not a yesterday.; int3 & sent13 -> hypothesis; __PROVED__