if the funeral does not occur then the non-angularness and the squatting Tyto happens.
sent1: the squatting Tyto happens. sent2: if the funeral does not occur the squatting Tyto occurs. sent3: the angularness happens. sent4: the aeronauticalness occurs if the squatting Tyto does not occur. sent5: both the angularness and the squatting Tyto occurs. sent6: the angularness and the squatting Tyto happens if that the funeral does not occur is not wrong. sent7: the aeronauticalness occurs if both the non-angularness and the squatting Tyto occurs. sent8: if the fact that the cluing eldorado occurs is not wrong the funeral happens. sent9: the aeronauticalness occurs if that the non-angularness and the squatting Tyto occurs is incorrect. sent10: that if that the angularness and the squatting Tyto happens is not correct the aeronauticalness occurs hold. sent11: that the cluing eldorado does not occur is prevented by that the longitudinalness happens. sent12: that the longitudinalness does not occur is not true if the aeronauticalness occurs.
void -> assump2: Let's assume that that the non-angularness and the squatting Tyto happens is not true.; sent9 & assump2 -> int1: the aeronauticalness happens.; sent12 & int1 -> int2: the fact that the longitudinalness happens is not false.; sent11 & int2 -> int3: the fact that the cluing eldorado happens is not false.; sent8 & int3 -> int4: the funeral occurs.; void -> assump1: Let's assume that the fact that the funeral does not occur is correct.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: both the non-angularness and the squatting Tyto occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the funeral does not occur then the non-angularness and the squatting Tyto happens. ; $context$ = sent1: the squatting Tyto happens. sent2: if the funeral does not occur the squatting Tyto occurs. sent3: the angularness happens. sent4: the aeronauticalness occurs if the squatting Tyto does not occur. sent5: both the angularness and the squatting Tyto occurs. sent6: the angularness and the squatting Tyto happens if that the funeral does not occur is not wrong. sent7: the aeronauticalness occurs if both the non-angularness and the squatting Tyto occurs. sent8: if the fact that the cluing eldorado occurs is not wrong the funeral happens. sent9: the aeronauticalness occurs if that the non-angularness and the squatting Tyto occurs is incorrect. sent10: that if that the angularness and the squatting Tyto happens is not correct the aeronauticalness occurs hold. sent11: that the cluing eldorado does not occur is prevented by that the longitudinalness happens. sent12: that the longitudinalness does not occur is not true if the aeronauticalness occurs. ; $proof$ = 
void -> assump2: Let's assume that that the non-angularness and the squatting Tyto happens is not true.; sent9 & assump2 -> int1: the aeronauticalness happens.; sent12 & int1 -> int2: the fact that the longitudinalness happens is not false.; sent11 & int2 -> int3: the fact that the cluing eldorado happens is not false.; sent8 & int3 -> int4: the funeral occurs.; void -> assump1: Let's assume that the fact that the funeral does not occur is correct.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: both the non-angularness and the squatting Tyto occurs.; [assump1] & int6 -> hypothesis; __PROVED__