the life-of-man reruns AFP.
sent1: the life-of-man is not judicial if the fact that the buckeye is a kind of judicial a solitary is incorrect. sent2: the place is not a terrapin but it is freelance. sent3: if the fact that the buckeye is judicial hold the fact that the place is not a terrapin and does freelance is not right. sent4: that something is not judicial and is a solitary is false if it is not a Eigen. sent5: if the buckeye is not judicial then the life-of-man does not rerun AFP. sent6: if something is not judicial it does rerun AFP.
void -> assump1: Let's assume that the buckeye is not non-judicial.; sent3 & assump1 -> int1: that the place is not a terrapin but it is freelance is false.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the buckeye is not judicial.; int3 & sent5 -> hypothesis;
the life-of-man does rerun AFP.
sent6 -> int4: if the life-of-man is not judicial it reruns AFP.; sent4 -> int5: if the place is not a kind of a Eigen the fact that it is both not judicial and a solitary is not correct.;
$hypothesis$ = the life-of-man reruns AFP. ; $context$ = sent1: the life-of-man is not judicial if the fact that the buckeye is a kind of judicial a solitary is incorrect. sent2: the place is not a terrapin but it is freelance. sent3: if the fact that the buckeye is judicial hold the fact that the place is not a terrapin and does freelance is not right. sent4: that something is not judicial and is a solitary is false if it is not a Eigen. sent5: if the buckeye is not judicial then the life-of-man does not rerun AFP. sent6: if something is not judicial it does rerun AFP. ; $proof$ = 
void -> assump1: Let's assume that the buckeye is not non-judicial.; sent3 & assump1 -> int1: that the place is not a terrapin but it is freelance is false.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the buckeye is not judicial.; int3 & sent5 -> hypothesis; __DISPROVED__