the straddle occurs.
sent1: the unpaidness happens if the fragment happens. sent2: if the animalization does not occur the straddle and the non-carangidness occurs. sent3: if the unpaidness happens then the catapulticness happens. sent4: the carangidness occurs and the animalization occurs. sent5: the simianness happens. sent6: both the straddling and the non-catapulticness happens if the unpaidness does not occur. sent7: the optionalness happens and the fragmenting happens. sent8: if the straddle occurs and the animalization occurs then the catapulticness does not occur. sent9: the optionalness occurs. sent10: the rimming happens. sent11: the unpaidness does not occur and the fragmenting does not occur if the optionalness does not occur.
sent4 -> int1: the animalization happens.; void -> assump1: Let's assume that the straddle occurs.; int1 & assump1 -> int2: the straddling and the animalization occurs.; int2 & sent8 -> int3: the catapulticness does not occur.; sent7 -> int4: the fragmenting happens.; sent1 & int4 -> int5: the unpaidness occurs.; sent3 & int5 -> int6: the catapulticness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the straddling occurs.
$hypothesis$ = the straddle occurs. ; $context$ = sent1: the unpaidness happens if the fragment happens. sent2: if the animalization does not occur the straddle and the non-carangidness occurs. sent3: if the unpaidness happens then the catapulticness happens. sent4: the carangidness occurs and the animalization occurs. sent5: the simianness happens. sent6: both the straddling and the non-catapulticness happens if the unpaidness does not occur. sent7: the optionalness happens and the fragmenting happens. sent8: if the straddle occurs and the animalization occurs then the catapulticness does not occur. sent9: the optionalness occurs. sent10: the rimming happens. sent11: the unpaidness does not occur and the fragmenting does not occur if the optionalness does not occur. ; $proof$ = 
sent4 -> int1: the animalization happens.; void -> assump1: Let's assume that the straddle occurs.; int1 & assump1 -> int2: the straddling and the animalization occurs.; int2 & sent8 -> int3: the catapulticness does not occur.; sent7 -> int4: the fragmenting happens.; sent1 & int4 -> int5: the unpaidness occurs.; sent3 & int5 -> int6: the catapulticness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__