the straight-arm happens.
sent1: the edging happens and the humanistness happens if the outsideness does not occur. sent2: if the fetalness does not occur then the fact that that that the enumeration but not the straight-arm happens is correct does not hold is not false. sent3: the smoothing does not occur. sent4: that the straight-arm occurs and the fetalness happens causes that the edging does not occur. sent5: that the circling meningism happens prevents the smoothed. sent6: the circling meningism happens. sent7: the enumeration is triggered by that the preventing does not occur but the smoothing happens. sent8: the preventing does not occur and the smoothing does not occur if the circling meningism happens. sent9: the humanistness occurs if that the outside does not occur and the mammalianness occurs is wrong. sent10: the outside does not occur. sent11: if the preventing does not occur and the smoothedness does not occur the enumeration occurs. sent12: if the enumeration occurs then the fetalness happens.
sent8 & sent6 -> int1: the preventing does not occur and the smoothing does not occur.; int1 & sent11 -> int2: the enumeration occurs.; int2 & sent12 -> int3: the fetalness happens.; void -> assump1: Let's assume that the straight-arm occurs.; int3 & assump1 -> int4: the straight-arm happens and the fetalness occurs.; int4 & sent4 -> int5: the edging does not occur.; sent1 & sent10 -> int6: the edge occurs and the humanistness happens.; int6 -> int7: the edging happens.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the trial does not occur.
$hypothesis$ = the straight-arm happens. ; $context$ = sent1: the edging happens and the humanistness happens if the outsideness does not occur. sent2: if the fetalness does not occur then the fact that that that the enumeration but not the straight-arm happens is correct does not hold is not false. sent3: the smoothing does not occur. sent4: that the straight-arm occurs and the fetalness happens causes that the edging does not occur. sent5: that the circling meningism happens prevents the smoothed. sent6: the circling meningism happens. sent7: the enumeration is triggered by that the preventing does not occur but the smoothing happens. sent8: the preventing does not occur and the smoothing does not occur if the circling meningism happens. sent9: the humanistness occurs if that the outside does not occur and the mammalianness occurs is wrong. sent10: the outside does not occur. sent11: if the preventing does not occur and the smoothedness does not occur the enumeration occurs. sent12: if the enumeration occurs then the fetalness happens. ; $proof$ = 
sent8 & sent6 -> int1: the preventing does not occur and the smoothing does not occur.; int1 & sent11 -> int2: the enumeration occurs.; int2 & sent12 -> int3: the fetalness happens.; void -> assump1: Let's assume that the straight-arm occurs.; int3 & assump1 -> int4: the straight-arm happens and the fetalness occurs.; int4 & sent4 -> int5: the edging does not occur.; sent1 & sent10 -> int6: the edge occurs and the humanistness happens.; int6 -> int7: the edging happens.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__