the caddisworm is postglacial but it does not constrict.
sent1: something is not postglacial if that it collides and/or it is a hymn is false. sent2: the Plavix is not a queen. sent3: if there is something such that it does not collide that the caddisworm is a kind of postglacial thing that does not constrict hold. sent4: the wool is not a hymn. sent5: the ideal does not collide if the wool is a Camelot. sent6: if the fact that the wool does not hymn hold then it is a kind of a Camelot and it queens.
sent6 & sent4 -> int1: the wool is a Camelot and it is a queen.; int1 -> int2: the wool is a kind of a Camelot.; sent5 & int2 -> int3: the ideal does not collide.; int3 -> int4: something does not collide.; int4 & sent3 -> hypothesis;
the fact that the caddisworm is postglacial but it does not constrict does not hold.
sent1 -> int5: the wool is not postglacial if that it collides and/or it is a hymn does not hold.;
$hypothesis$ = the caddisworm is postglacial but it does not constrict. ; $context$ = sent1: something is not postglacial if that it collides and/or it is a hymn is false. sent2: the Plavix is not a queen. sent3: if there is something such that it does not collide that the caddisworm is a kind of postglacial thing that does not constrict hold. sent4: the wool is not a hymn. sent5: the ideal does not collide if the wool is a Camelot. sent6: if the fact that the wool does not hymn hold then it is a kind of a Camelot and it queens. ; $proof$ = 
sent6 & sent4 -> int1: the wool is a Camelot and it is a queen.; int1 -> int2: the wool is a kind of a Camelot.; sent5 & int2 -> int3: the ideal does not collide.; int3 -> int4: something does not collide.; int4 & sent3 -> hypothesis; __PROVED__