the fact that the grouping dot-com occurs but the Jeffersonian does not occur is not right.
sent1: that the clamatorialness occurs is not false. sent2: that the Jeffersonian does not occur triggers that the creation and the grouping dot-com occurs. sent3: the Edwardianness happens. sent4: both the electrification and the creation occurs. sent5: the fact that the cycling but not the arteriolarness occurs is false if the electrification does not occur. sent6: that the verbalization and the non-estrogenicness occurs is incorrect.
sent4 -> int1: the electrification happens.;
the fact that the cycling happens but the arteriolarness does not occur is false.
$hypothesis$ = the fact that the grouping dot-com occurs but the Jeffersonian does not occur is not right. ; $context$ = sent1: that the clamatorialness occurs is not false. sent2: that the Jeffersonian does not occur triggers that the creation and the grouping dot-com occurs. sent3: the Edwardianness happens. sent4: both the electrification and the creation occurs. sent5: the fact that the cycling but not the arteriolarness occurs is false if the electrification does not occur. sent6: that the verbalization and the non-estrogenicness occurs is incorrect. ; $proof$ = 
sent4 -> int1: the electrification happens.; __UNKNOWN__