that the rein is not eolithic but it is a marsh is true.
sent1: if the flavin is not a Rappahannock then the fact that the rein is not eolithic but it is a marsh is not true. sent2: the rein is not an arms. sent3: the rein is a kind of a marsh that is a Rappahannock. sent4: the fact that the rein is not eolithic hold if it does not blinker Caloosahatchee and it does not arm.
sent3 -> int1: the rein is a marsh.;
the fact that the rein is not eolithic and is a marsh does not hold.
$hypothesis$ = that the rein is not eolithic but it is a marsh is true. ; $context$ = sent1: if the flavin is not a Rappahannock then the fact that the rein is not eolithic but it is a marsh is not true. sent2: the rein is not an arms. sent3: the rein is a kind of a marsh that is a Rappahannock. sent4: the fact that the rein is not eolithic hold if it does not blinker Caloosahatchee and it does not arm. ; $proof$ = 
sent3 -> int1: the rein is a marsh.; __UNKNOWN__