the fact that there is something such that if it is not a kind of a transactor then the fact that it either is remediable or is a slang or both is not true is not right.
sent1: the fact that something supples whip-snake and/or is semiotic is not true if it is not a clerestory. sent2: if that the loading is not a transactor hold that either it is remediable or it is a slang or both is not right.
sent2 -> hypothesis;
there exists something such that if it is not a clerestory then that it supples whip-snake or it is semiotic or both does not hold.
sent1 -> int1: that the blanket supples whip-snake and/or it is semiotic is not right if it is not a kind of a clerestory.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a kind of a transactor then the fact that it either is remediable or is a slang or both is not true is not right. ; $context$ = sent1: the fact that something supples whip-snake and/or is semiotic is not true if it is not a clerestory. sent2: if that the loading is not a transactor hold that either it is remediable or it is a slang or both is not right. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__