the fact that there exists something such that if it does not poach then it is a plantain and it is a kind of a amateurishness does not hold.
sent1: if something does not poach it is a kind of a plantain that is a kind of a amateurishness. sent2: there exists something such that if it does not poach then it is a plantain. sent3: there is something such that if it poaches it is a plantain and is a amateurishness. sent4: the presentist is a amateurishness if the fact that it does not poach hold. sent5: that the presentist is a plantain and is a amateurishness is correct if it does poach. sent6: there exists something such that if it does not poach then it is a amateurishness. sent7: something is a plantain and is a kind of a amateurishness if it does poach.
sent1 -> int1: the presentist is a plantain and a amateurishness if it does not poach.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not poach then it is a plantain and it is a kind of a amateurishness does not hold. ; $context$ = sent1: if something does not poach it is a kind of a plantain that is a kind of a amateurishness. sent2: there exists something such that if it does not poach then it is a plantain. sent3: there is something such that if it poaches it is a plantain and is a amateurishness. sent4: the presentist is a amateurishness if the fact that it does not poach hold. sent5: that the presentist is a plantain and is a amateurishness is correct if it does poach. sent6: there exists something such that if it does not poach then it is a amateurishness. sent7: something is a plantain and is a kind of a amateurishness if it does poach. ; $proof$ = 
sent1 -> int1: the presentist is a plantain and a amateurishness if it does not poach.; int1 -> hypothesis; __DISPROVED__