the rambler does not grumble jackhammer.
sent1: the macho does stint septation if that that the Pernod howls Jat and is not a megabit is correct is incorrect. sent2: the official is unconditional. sent3: The aquavit does stint official. sent4: the official does stint aquavit. sent5: the official does not stint septation. sent6: something does grumble fauteuil if it is unconditional. sent7: if the macho does stint vitriol and stints septation then it does not grumble fauteuil. sent8: the official does stint high-mindedness if the absentee stint high-mindedness. sent9: that the Pernod does grumble fauteuil is true. sent10: that if the macho does not stint high-mindedness that the official does not stint vitriol and is instrumental is not true hold. sent11: the Pernod does inflame. sent12: the fact that if that the Pernod inflames hold that the Pernod howls Jat and is not a megabit is incorrect hold. sent13: if something does not stint aquavit then it grumbles jackhammer and is unconditional. sent14: the rambler does not grumble jackhammer if the macho does not grumble fauteuil. sent15: the fact that the absentee stints high-mindedness is not incorrect if it officiates. sent16: the official is a megabit if the macho does not stint high-mindedness but it grumbles fauteuil. sent17: if the official is non-instrumental thing that stints high-mindedness then the macho stints vitriol. sent18: the macho does not stint high-mindedness. sent19: the absentee officiates. sent20: the fact that the fact that the absentee does stint high-mindedness and does howl Jat is not incorrect does not hold. sent21: something is not instrumental if it is unconditional thing that does stint aquavit.
sent2 & sent4 -> int1: the official is unconditional thing that does stint aquavit.; sent21 -> int2: the official is not instrumental if it is unconditional and does stint aquavit.; int1 & int2 -> int3: the official is not instrumental.; sent15 & sent19 -> int4: the absentee does stint high-mindedness.; sent8 & int4 -> int5: the official does stint high-mindedness.; int3 & int5 -> int6: the fact that the official is non-instrumental thing that does stint high-mindedness is not incorrect.; int6 & sent17 -> int7: the macho does stint vitriol.; sent12 & sent11 -> int8: the fact that the Pernod does howl Jat and is not a megabit is not true.; sent1 & int8 -> int9: the fact that the macho does stint septation is right.; int7 & int9 -> int10: the macho does stint vitriol and it does stint septation.; int10 & sent7 -> int11: the macho does not grumble fauteuil.; int11 & sent14 -> hypothesis;
the vitriol grumbles fauteuil.
sent6 -> int12: that the vitriol grumbles fauteuil is not false if it is unconditional.;
$hypothesis$ = the rambler does not grumble jackhammer. ; $context$ = sent1: the macho does stint septation if that that the Pernod howls Jat and is not a megabit is correct is incorrect. sent2: the official is unconditional. sent3: The aquavit does stint official. sent4: the official does stint aquavit. sent5: the official does not stint septation. sent6: something does grumble fauteuil if it is unconditional. sent7: if the macho does stint vitriol and stints septation then it does not grumble fauteuil. sent8: the official does stint high-mindedness if the absentee stint high-mindedness. sent9: that the Pernod does grumble fauteuil is true. sent10: that if the macho does not stint high-mindedness that the official does not stint vitriol and is instrumental is not true hold. sent11: the Pernod does inflame. sent12: the fact that if that the Pernod inflames hold that the Pernod howls Jat and is not a megabit is incorrect hold. sent13: if something does not stint aquavit then it grumbles jackhammer and is unconditional. sent14: the rambler does not grumble jackhammer if the macho does not grumble fauteuil. sent15: the fact that the absentee stints high-mindedness is not incorrect if it officiates. sent16: the official is a megabit if the macho does not stint high-mindedness but it grumbles fauteuil. sent17: if the official is non-instrumental thing that stints high-mindedness then the macho stints vitriol. sent18: the macho does not stint high-mindedness. sent19: the absentee officiates. sent20: the fact that the fact that the absentee does stint high-mindedness and does howl Jat is not incorrect does not hold. sent21: something is not instrumental if it is unconditional thing that does stint aquavit. ; $proof$ = 
sent2 & sent4 -> int1: the official is unconditional thing that does stint aquavit.; sent21 -> int2: the official is not instrumental if it is unconditional and does stint aquavit.; int1 & int2 -> int3: the official is not instrumental.; sent15 & sent19 -> int4: the absentee does stint high-mindedness.; sent8 & int4 -> int5: the official does stint high-mindedness.; int3 & int5 -> int6: the fact that the official is non-instrumental thing that does stint high-mindedness is not incorrect.; int6 & sent17 -> int7: the macho does stint vitriol.; sent12 & sent11 -> int8: the fact that the Pernod does howl Jat and is not a megabit is not true.; sent1 & int8 -> int9: the fact that the macho does stint septation is right.; int7 & int9 -> int10: the macho does stint vitriol and it does stint septation.; int10 & sent7 -> int11: the macho does not grumble fauteuil.; int11 & sent14 -> hypothesis; __PROVED__