the mentioner is not a plane.
sent1: if the six-pack does not coffin ingenue the mentioner is not a kind of a plane. sent2: if the cassette does not coffin ingenue the six-pack is ideographic but it is not amphibious. sent3: if the fact that something is uninformative but it does not coffin session is not correct then it is not uninformative. sent4: if the six-pack is not amphibious and it does not plane then the paperboard does not plane. sent5: if the mentioner is not ideographic the six-pack is a kind of non-amphibious thing that is not a plane. sent6: that the canape is a kind of uninformative thing that does not coffin session does not hold if it is predestinarian. sent7: that the cassette is a kind of a proclivity and is bacteriostatic if the canape is not uninformative hold. sent8: if the fact that something does not coffin ingenue hold then that the six-pack planes and it is amphibious is false. sent9: there is something such that it is ideographic. sent10: something does not coffin ingenue and is spondaic if it is not a proclivity. sent11: if there exists something such that it is not ideographic the fact that the six-pack is amphibious and it does coffin ingenue does not hold. sent12: if that something is a kind of a proclivity that does coffin ingenue does not hold then it does not coffin ingenue. sent13: there are non-ideographic things. sent14: the mentioner does not plane if that the six-pack is amphibious and it coffins ingenue does not hold. sent15: if something that does not coffin ingenue is spondaic it is not ideographic. sent16: the mentioner is a plane if the six-pack is not non-ideographic and not amphibious. sent17: something is not a plane. sent18: the canape is not non-predestinarian if the fact that the omega-3 does not rear eosinophilia and it is not a take does not hold.
sent13 & sent11 -> int1: the fact that the six-pack is amphibious thing that does coffin ingenue is not true.; sent14 & int1 -> hypothesis;
the mentioner is a plane.
sent12 -> int2: the fact that that the cassette does not coffin ingenue hold if that the cassette is a proclivity and it does coffin ingenue is not right is true.;
$hypothesis$ = the mentioner is not a plane. ; $context$ = sent1: if the six-pack does not coffin ingenue the mentioner is not a kind of a plane. sent2: if the cassette does not coffin ingenue the six-pack is ideographic but it is not amphibious. sent3: if the fact that something is uninformative but it does not coffin session is not correct then it is not uninformative. sent4: if the six-pack is not amphibious and it does not plane then the paperboard does not plane. sent5: if the mentioner is not ideographic the six-pack is a kind of non-amphibious thing that is not a plane. sent6: that the canape is a kind of uninformative thing that does not coffin session does not hold if it is predestinarian. sent7: that the cassette is a kind of a proclivity and is bacteriostatic if the canape is not uninformative hold. sent8: if the fact that something does not coffin ingenue hold then that the six-pack planes and it is amphibious is false. sent9: there is something such that it is ideographic. sent10: something does not coffin ingenue and is spondaic if it is not a proclivity. sent11: if there exists something such that it is not ideographic the fact that the six-pack is amphibious and it does coffin ingenue does not hold. sent12: if that something is a kind of a proclivity that does coffin ingenue does not hold then it does not coffin ingenue. sent13: there are non-ideographic things. sent14: the mentioner does not plane if that the six-pack is amphibious and it coffins ingenue does not hold. sent15: if something that does not coffin ingenue is spondaic it is not ideographic. sent16: the mentioner is a plane if the six-pack is not non-ideographic and not amphibious. sent17: something is not a plane. sent18: the canape is not non-predestinarian if the fact that the omega-3 does not rear eosinophilia and it is not a take does not hold. ; $proof$ = 
sent13 & sent11 -> int1: the fact that the six-pack is amphibious thing that does coffin ingenue is not true.; sent14 & int1 -> hypothesis; __PROVED__