the stoneware reaches and it is flowerless.
sent1: the stoneware is a kind of a transvestite that is flowerless. sent2: if that something does flock Bentham and is a transvestite does not hold it is not a transvestite. sent3: that everything is a reach and it is not unicellular hold. sent4: if the philatelist is not a wheeze then that the fact that it flocks Bentham and it is a kind of a transvestite is not false is not correct.
sent3 -> int1: the stoneware does reach and is not unicellular.; int1 -> int2: the stoneware is a reach.; sent1 -> int3: the stoneware is flowerless.; int2 & int3 -> hypothesis;
the fact that the stoneware is a kind of a reach and is flowerless is not correct.
sent2 -> int4: the philatelist is not a transvestite if that it does flock Bentham and is a kind of a transvestite is not right.;
$hypothesis$ = the stoneware reaches and it is flowerless. ; $context$ = sent1: the stoneware is a kind of a transvestite that is flowerless. sent2: if that something does flock Bentham and is a transvestite does not hold it is not a transvestite. sent3: that everything is a reach and it is not unicellular hold. sent4: if the philatelist is not a wheeze then that the fact that it flocks Bentham and it is a kind of a transvestite is not false is not correct. ; $proof$ = 
sent3 -> int1: the stoneware does reach and is not unicellular.; int1 -> int2: the stoneware is a reach.; sent1 -> int3: the stoneware is flowerless.; int2 & int3 -> hypothesis; __PROVED__