that if the pallone occurs the arborealness happens is false.
sent1: that the opening Archilochus but not the trucking letters occurs is false. sent2: the romaicness happens. sent3: if the high-low occurs the overpayment happens. sent4: the trucking transfer does not occur if the fact that that the hike occurs and/or the pallone happens hold is not right. sent5: the fighting happens. sent6: if the romaicness occurs then that not the hike but the downhill happens is not correct. sent7: that the opening Archilochus does not occur and the trucking letters does not occur is not true. sent8: if that the opening Archilochus does not occur and the trucking letters does not occur does not hold then the hike does not occur. sent9: the roughening occurs. sent10: if the fact that the glomming does not occur and the proximateness does not occur is not right then the trucking boustrophedon does not occur. sent11: the extrasensoriness happens if not the downhill but the pallone happens. sent12: if the Laotianness occurs the fact that not the actuarialness but the rolling Ascidiaceae occurs is false. sent13: if the extrasensoriness happens then the arborealness occurs.
sent8 & sent7 -> int1: the hike does not occur.; void -> assump2: Let's assume that the downhill happens.; int1 & assump2 -> int2: not the hiking but the downhill happens.; sent6 & sent2 -> int3: that not the hike but the downhill occurs is not true.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the downhill does not occur is right.; void -> assump1: Let's assume that the pallone happens.; int5 & assump1 -> int6: not the downhill but the pallone occurs.; int6 & sent11 -> int7: the extrasensoriness occurs.; int7 & sent13 -> int8: the arborealness happens.; [assump1] & int8 -> hypothesis;
not the trucking transfer but the tossing occurs.
$hypothesis$ = that if the pallone occurs the arborealness happens is false. ; $context$ = sent1: that the opening Archilochus but not the trucking letters occurs is false. sent2: the romaicness happens. sent3: if the high-low occurs the overpayment happens. sent4: the trucking transfer does not occur if the fact that that the hike occurs and/or the pallone happens hold is not right. sent5: the fighting happens. sent6: if the romaicness occurs then that not the hike but the downhill happens is not correct. sent7: that the opening Archilochus does not occur and the trucking letters does not occur is not true. sent8: if that the opening Archilochus does not occur and the trucking letters does not occur does not hold then the hike does not occur. sent9: the roughening occurs. sent10: if the fact that the glomming does not occur and the proximateness does not occur is not right then the trucking boustrophedon does not occur. sent11: the extrasensoriness happens if not the downhill but the pallone happens. sent12: if the Laotianness occurs the fact that not the actuarialness but the rolling Ascidiaceae occurs is false. sent13: if the extrasensoriness happens then the arborealness occurs. ; $proof$ = 
sent8 & sent7 -> int1: the hike does not occur.; void -> assump2: Let's assume that the downhill happens.; int1 & assump2 -> int2: not the hiking but the downhill happens.; sent6 & sent2 -> int3: that not the hike but the downhill occurs is not true.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the downhill does not occur is right.; void -> assump1: Let's assume that the pallone happens.; int5 & assump1 -> int6: not the downhill but the pallone occurs.; int6 & sent11 -> int7: the extrasensoriness occurs.; int7 & sent13 -> int8: the arborealness happens.; [assump1] & int8 -> hypothesis; __DISPROVED__