the fluke is not a kind of a tacker.
sent1: the fact that something is iliac is true if the fact that either it does not investigate guitarist or it is not a call-back or both is false. sent2: if the fact that something is a kind of a agriculturist that does investigate cadenced is wrong it does not compact markka. sent3: the platypus is not iliac if there exists something such that it compacts markka. sent4: the platypus does investigate guitarist and/or it is not a call-back. sent5: the double-prop is not a tacker. sent6: something is a kind of a Hollywood if the fact that it either is not a Mediterranean or is a fratricide or both is wrong. sent7: the grille is either iliac or not articulated or both. sent8: the platypus investigates guitarist. sent9: if the fact that something investigates guitarist or it is not a call-back or both is wrong it is iliac. sent10: that something is not endothermic and/or it is not a Nast does not hold if it is a kind of a tacker. sent11: the fluke does not compact meteorologist and it does not sparkle cytologist. sent12: that everything is a agriculturist is correct. sent13: if the fact that the platypus is not a jobbery or it does not investigate great-nephew or both is not true then it is a kind of a tacker. sent14: if that the platypus either investigates guitarist or is not a call-back or both is not true then it is iliac. sent15: The markka does compact grille. sent16: if the fact that the platypus is non-iliac and/or is a tacker is wrong that it is a call-back is not false. sent17: the fact that something is a agriculturist and it investigates cadenced is not true if that it is not a constancy is true. sent18: the fluke is not a tacker if the platypus does not investigate guitarist. sent19: the grille does compact markka. sent20: there exists something such that it does sparkle Triglidae. sent21: that the moonlighter is a kind of a constancy is wrong if the fluke does not compact meteorologist and does not sparkle cytologist. sent22: the fluke compacts markka if the fact that it is not a tacker and/or does investigate guitarist is incorrect.
sent1 -> int1: the platypus is iliac if that it does not investigate guitarist and/or it is not a call-back is not right.; void -> assump1: Let's assume that that the platypus does not investigate guitarist and/or it is not a kind of a call-back is wrong.; int1 & assump1 -> int2: the platypus is iliac.; sent19 -> int3: something does compact markka.; int3 & sent3 -> int4: the platypus is not iliac.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the platypus does not investigate guitarist and/or it is not a call-back.;
that the moonlighter is not endothermic and/or is not a Nast is not correct.
sent10 -> int7: that the moonlighter is either not endothermic or not a Nast or both is not correct if it is a kind of a tacker.; sent2 -> int8: if that the moonlighter is a agriculturist and it does investigate cadenced is not right then it does not compact markka.; sent17 -> int9: the fact that the moonlighter is a agriculturist and it investigates cadenced is false if it is not a constancy.; sent21 & sent11 -> int10: that the moonlighter is a constancy is not true.; int9 & int10 -> int11: the fact that the moonlighter is a kind of a agriculturist and it investigates cadenced is incorrect.; int8 & int11 -> int12: the moonlighter does not compact markka.;
$hypothesis$ = the fluke is not a kind of a tacker. ; $context$ = sent1: the fact that something is iliac is true if the fact that either it does not investigate guitarist or it is not a call-back or both is false. sent2: if the fact that something is a kind of a agriculturist that does investigate cadenced is wrong it does not compact markka. sent3: the platypus is not iliac if there exists something such that it compacts markka. sent4: the platypus does investigate guitarist and/or it is not a call-back. sent5: the double-prop is not a tacker. sent6: something is a kind of a Hollywood if the fact that it either is not a Mediterranean or is a fratricide or both is wrong. sent7: the grille is either iliac or not articulated or both. sent8: the platypus investigates guitarist. sent9: if the fact that something investigates guitarist or it is not a call-back or both is wrong it is iliac. sent10: that something is not endothermic and/or it is not a Nast does not hold if it is a kind of a tacker. sent11: the fluke does not compact meteorologist and it does not sparkle cytologist. sent12: that everything is a agriculturist is correct. sent13: if the fact that the platypus is not a jobbery or it does not investigate great-nephew or both is not true then it is a kind of a tacker. sent14: if that the platypus either investigates guitarist or is not a call-back or both is not true then it is iliac. sent15: The markka does compact grille. sent16: if the fact that the platypus is non-iliac and/or is a tacker is wrong that it is a call-back is not false. sent17: the fact that something is a agriculturist and it investigates cadenced is not true if that it is not a constancy is true. sent18: the fluke is not a tacker if the platypus does not investigate guitarist. sent19: the grille does compact markka. sent20: there exists something such that it does sparkle Triglidae. sent21: that the moonlighter is a kind of a constancy is wrong if the fluke does not compact meteorologist and does not sparkle cytologist. sent22: the fluke compacts markka if the fact that it is not a tacker and/or does investigate guitarist is incorrect. ; $proof$ = 
sent1 -> int1: the platypus is iliac if that it does not investigate guitarist and/or it is not a call-back is not right.; void -> assump1: Let's assume that that the platypus does not investigate guitarist and/or it is not a kind of a call-back is wrong.; int1 & assump1 -> int2: the platypus is iliac.; sent19 -> int3: something does compact markka.; int3 & sent3 -> int4: the platypus is not iliac.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the platypus does not investigate guitarist and/or it is not a call-back.; __UNKNOWN__