the tension is aeriferous.
sent1: if the fact that something does not prime Shrovetide and is not a kind of a constant is not right then it is aeriferous. sent2: the tension is not an absorber.
sent1 -> int1: the tension is aeriferous if the fact that it does not prime Shrovetide and is not a constant is not true.;
$hypothesis$ = the tension is aeriferous. ; $context$ = sent1: if the fact that something does not prime Shrovetide and is not a kind of a constant is not right then it is aeriferous. sent2: the tension is not an absorber. ; $proof$ = 
sent1 -> int1: the tension is aeriferous if the fact that it does not prime Shrovetide and is not a constant is not true.; __UNKNOWN__