the tautog is faithful.
sent1: the filtrate does clear cocksfoot if the fact that either it is a kind of a airdock or it does not bonnet watercolorist or both does not hold. sent2: something is unfaithful if it is a Angolan. sent3: the filtrate is a Maillol. sent4: if the filtrate does not bonnet watercolorist the fact that the tautog is a Abkhaz or it does not bonnet watercolorist or both is not correct. sent5: the tautog clears photometer. sent6: if that the tautog does not clear photometer and is not unfaithful does not hold then it is not certain. sent7: if that something clears cocksfoot and/or it does not bonnet watercolorist is wrong that it is a Angolan is correct. sent8: the filtrate is unfaithful. sent9: something is a Angolan if the fact that either it clears cocksfoot or it is not a airdock or both is false. sent10: that something is stemless if it does clear phonograph is true. sent11: the phonograph does not clear photometer. sent12: if that the filtrate is exaugural or it is not a airdock or both is not right it is unfaithful. sent13: if that the filtrate greases u-turn or it does clear cocksfoot or both is not correct it is a kind of a lukewarmness. sent14: the filtrate is not certain if it does not clear photometer and it does bonnet watercolorist. sent15: the watercolorist is not unfaithful. sent16: the inkle does not bonnet watercolorist. sent17: the fuselage clears photometer. sent18: the filtrate does not clear photometer if the fact that it is not a Abkhaz and it is not a airdock is not right. sent19: that the filtrate is not Abkhaz and it is not a kind of a airdock is wrong. sent20: if the filtrate does not bonnet watercolorist the fact that the tautog clears cocksfoot and/or does not bonnet watercolorist is incorrect. sent21: the tautog is not exaugural. sent22: the filtrate is certain thing that is exaugural. sent23: the fact that the tautog does not clear photometer and it is not unfaithful does not hold. sent24: the filtrate is not a Angolan.
sent18 & sent19 -> int1: the filtrate does not clear photometer.; void -> assump1: Let's assume that the filtrate does bonnet watercolorist.; int1 & assump1 -> int2: the filtrate does not clear photometer and does bonnet watercolorist.; int2 & sent14 -> int3: the filtrate is not certain.; sent22 -> int4: the filtrate is certain.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the filtrate does not bonnet watercolorist.; int6 & sent20 -> int7: that the tautog does clear cocksfoot and/or it does not bonnet watercolorist is not true.; sent7 -> int8: the tautog is a Angolan if the fact that it clears cocksfoot or it does not bonnet watercolorist or both is false.; int7 & int8 -> int9: the tautog is Angolan.; sent2 -> int10: the tautog is unfaithful if it is Angolan.; int9 & int10 -> hypothesis;
$hypothesis$ = the tautog is faithful. ; $context$ = sent1: the filtrate does clear cocksfoot if the fact that either it is a kind of a airdock or it does not bonnet watercolorist or both does not hold. sent2: something is unfaithful if it is a Angolan. sent3: the filtrate is a Maillol. sent4: if the filtrate does not bonnet watercolorist the fact that the tautog is a Abkhaz or it does not bonnet watercolorist or both is not correct. sent5: the tautog clears photometer. sent6: if that the tautog does not clear photometer and is not unfaithful does not hold then it is not certain. sent7: if that something clears cocksfoot and/or it does not bonnet watercolorist is wrong that it is a Angolan is correct. sent8: the filtrate is unfaithful. sent9: something is a Angolan if the fact that either it clears cocksfoot or it is not a airdock or both is false. sent10: that something is stemless if it does clear phonograph is true. sent11: the phonograph does not clear photometer. sent12: if that the filtrate is exaugural or it is not a airdock or both is not right it is unfaithful. sent13: if that the filtrate greases u-turn or it does clear cocksfoot or both is not correct it is a kind of a lukewarmness. sent14: the filtrate is not certain if it does not clear photometer and it does bonnet watercolorist. sent15: the watercolorist is not unfaithful. sent16: the inkle does not bonnet watercolorist. sent17: the fuselage clears photometer. sent18: the filtrate does not clear photometer if the fact that it is not a Abkhaz and it is not a airdock is not right. sent19: that the filtrate is not Abkhaz and it is not a kind of a airdock is wrong. sent20: if the filtrate does not bonnet watercolorist the fact that the tautog clears cocksfoot and/or does not bonnet watercolorist is incorrect. sent21: the tautog is not exaugural. sent22: the filtrate is certain thing that is exaugural. sent23: the fact that the tautog does not clear photometer and it is not unfaithful does not hold. sent24: the filtrate is not a Angolan. ; $proof$ = 
sent18 & sent19 -> int1: the filtrate does not clear photometer.; void -> assump1: Let's assume that the filtrate does bonnet watercolorist.; int1 & assump1 -> int2: the filtrate does not clear photometer and does bonnet watercolorist.; int2 & sent14 -> int3: the filtrate is not certain.; sent22 -> int4: the filtrate is certain.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the filtrate does not bonnet watercolorist.; int6 & sent20 -> int7: that the tautog does clear cocksfoot and/or it does not bonnet watercolorist is not true.; sent7 -> int8: the tautog is a Angolan if the fact that it clears cocksfoot or it does not bonnet watercolorist or both is false.; int7 & int8 -> int9: the tautog is Angolan.; sent2 -> int10: the tautog is unfaithful if it is Angolan.; int9 & int10 -> hypothesis; __DISPROVED__