the shill is a kind of a perchlorate.
sent1: if the fact that something is thermometric and it is a kind of a perchlorate is not true that it does not divaricate palfrey hold. sent2: something is a perchlorate if it is sternutatory. sent3: the fact that something is a Rimbaud that is a put is not correct if it is not sternutatory. sent4: if the shill does not put it is not a perchlorate. sent5: the shill divaricates palfrey and/or it is not thermometric. sent6: if something is not a put it is not a perchlorate. sent7: if that that something is a Rimbaud and it does put hold is not right then it is not a perchlorate. sent8: the shill does not case neckpiece. sent9: the fossilization is not a Rimbaud. sent10: the fact that the shill is not sternutatory hold if it is not thermometric. sent11: if the shill either divaricates palfrey or is non-thermometric or both then it is not sternutatory.
sent3 -> int1: the fact that the shill is a Rimbaud and it does put is wrong if it is not sternutatory.; sent11 & sent5 -> int2: the shill is non-sternutatory.; int1 & int2 -> int3: that that the shill is a Rimbaud and it does put is right is not correct.; sent7 -> int4: if the fact that the shill is a Rimbaud and it does put is not true then it is not a perchlorate.; int3 & int4 -> hypothesis;
the shill is a perchlorate.
sent2 -> int5: if the fact that the shill is sternutatory is true it is a perchlorate.;
$hypothesis$ = the shill is a kind of a perchlorate. ; $context$ = sent1: if the fact that something is thermometric and it is a kind of a perchlorate is not true that it does not divaricate palfrey hold. sent2: something is a perchlorate if it is sternutatory. sent3: the fact that something is a Rimbaud that is a put is not correct if it is not sternutatory. sent4: if the shill does not put it is not a perchlorate. sent5: the shill divaricates palfrey and/or it is not thermometric. sent6: if something is not a put it is not a perchlorate. sent7: if that that something is a Rimbaud and it does put hold is not right then it is not a perchlorate. sent8: the shill does not case neckpiece. sent9: the fossilization is not a Rimbaud. sent10: the fact that the shill is not sternutatory hold if it is not thermometric. sent11: if the shill either divaricates palfrey or is non-thermometric or both then it is not sternutatory. ; $proof$ = 
sent3 -> int1: the fact that the shill is a Rimbaud and it does put is wrong if it is not sternutatory.; sent11 & sent5 -> int2: the shill is non-sternutatory.; int1 & int2 -> int3: that that the shill is a Rimbaud and it does put is right is not correct.; sent7 -> int4: if the fact that the shill is a Rimbaud and it does put is not true then it is not a perchlorate.; int3 & int4 -> hypothesis; __DISPROVED__