the isobutylene is a kind of a perigee.
sent1: if the isobutylene does not roof decade and does not tin trout then the fact that it is non-cross-ply hold. sent2: the polyfoam is not a kind of a Madagascan. sent3: the polyfoam is azotic if that it is a kind of a perigee and it is not cross-ply is false. sent4: the polyfoam is not a kind of a submersion. sent5: the succade does not tin trout. sent6: the polyfoam is a kind of a perigee. sent7: the flipper is not cross-ply. sent8: the alchemist effaces Argonaut if the fact that it is not non-genetics and it does not tin trout is not right. sent9: if something is uncooperative it is not non-Anguillan. sent10: if the polyfoam is a kind of a perigee the isobutylene is azotic. sent11: that the fact that the polyfoam roofs decade and is not azotic is not right is correct. sent12: the malingerer does tin trout. sent13: the polyfoam is uncooperative if the fact that it does roof decade and is not azotic is not right. sent14: if the succade is cross-ply then it is azotic. sent15: the succade does not roof decade. sent16: if the succade is not non-cross-ply then the isobutylene does not tin trout and is not non-cross-ply. sent17: if the polyfoam is a Anguillan then the succade is cross-ply. sent18: that the succade is uncooperative and it is cross-ply is wrong. sent19: if something that does not tin trout is not cross-ply it is not a perigee.
sent13 & sent11 -> int1: the polyfoam is uncooperative.; sent9 -> int2: if the polyfoam is uncooperative it is a Anguillan.; int1 & int2 -> int3: the polyfoam is a Anguillan.; int3 & sent17 -> int4: the succade is cross-ply.; int4 & sent16 -> int5: the isobutylene does not tin trout and is not cross-ply.; sent19 -> int6: if the isobutylene does not tin trout and is not cross-ply then it is not a perigee.; int5 & int6 -> hypothesis;
$hypothesis$ = the isobutylene is a kind of a perigee. ; $context$ = sent1: if the isobutylene does not roof decade and does not tin trout then the fact that it is non-cross-ply hold. sent2: the polyfoam is not a kind of a Madagascan. sent3: the polyfoam is azotic if that it is a kind of a perigee and it is not cross-ply is false. sent4: the polyfoam is not a kind of a submersion. sent5: the succade does not tin trout. sent6: the polyfoam is a kind of a perigee. sent7: the flipper is not cross-ply. sent8: the alchemist effaces Argonaut if the fact that it is not non-genetics and it does not tin trout is not right. sent9: if something is uncooperative it is not non-Anguillan. sent10: if the polyfoam is a kind of a perigee the isobutylene is azotic. sent11: that the fact that the polyfoam roofs decade and is not azotic is not right is correct. sent12: the malingerer does tin trout. sent13: the polyfoam is uncooperative if the fact that it does roof decade and is not azotic is not right. sent14: if the succade is cross-ply then it is azotic. sent15: the succade does not roof decade. sent16: if the succade is not non-cross-ply then the isobutylene does not tin trout and is not non-cross-ply. sent17: if the polyfoam is a Anguillan then the succade is cross-ply. sent18: that the succade is uncooperative and it is cross-ply is wrong. sent19: if something that does not tin trout is not cross-ply it is not a perigee. ; $proof$ = 
sent13 & sent11 -> int1: the polyfoam is uncooperative.; sent9 -> int2: if the polyfoam is uncooperative it is a Anguillan.; int1 & int2 -> int3: the polyfoam is a Anguillan.; int3 & sent17 -> int4: the succade is cross-ply.; int4 & sent16 -> int5: the isobutylene does not tin trout and is not cross-ply.; sent19 -> int6: if the isobutylene does not tin trout and is not cross-ply then it is not a perigee.; int5 & int6 -> hypothesis; __DISPROVED__