the fact that there is something such that if it is not off-line and it does not tyrannize grievance it softens is not true.
sent1: the Siberian is optimistic if it is not carbonaceous and it does not soften. sent2: something does soften if it is a kind of non-off-line thing that does not tyrannize grievance. sent3: if the hegari is not off-line and tyrannizes grievance it softens. sent4: if something that does not soften is not a WTC then it is an anesthetic. sent5: something that is not a Bedouin but Jeffersonian seasons.
sent2 -> int1: if the hegari is not off-line and does not tyrannize grievance it softens.; int1 -> hypothesis;
the hegari is anesthetic if it does not soften and is not a kind of a WTC.
sent4 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not off-line and it does not tyrannize grievance it softens is not true. ; $context$ = sent1: the Siberian is optimistic if it is not carbonaceous and it does not soften. sent2: something does soften if it is a kind of non-off-line thing that does not tyrannize grievance. sent3: if the hegari is not off-line and tyrannizes grievance it softens. sent4: if something that does not soften is not a WTC then it is an anesthetic. sent5: something that is not a Bedouin but Jeffersonian seasons. ; $proof$ = 
sent2 -> int1: if the hegari is not off-line and does not tyrannize grievance it softens.; int1 -> hypothesis; __DISPROVED__