both the swiping and the jamming words occurs.
sent1: the expiring occurs but the rupture does not occur. sent2: the watering happens. sent3: the jamming dashing does not occur and the diffusedness does not occur if the expiring occurs. sent4: the swipe and the syntacticness happens if the jamming utahraptor does not occur. sent5: that the caudateness does not occur and the jamming dashing does not occur triggers the jamming words. sent6: if both the caudateness and the fatwa occurs then the watering does not occur. sent7: the jamming utahraptor does not occur. sent8: the fatwa happens.
void -> assump1: Let's assume that the caudate occurs.; assump1 & sent8 -> int1: both the caudateness and the fatwa happens.; int1 & sent6 -> int2: the waters does not occur.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the caudate does not occur.; sent1 -> int5: that the expiring happens is not false.; sent3 & int5 -> int6: the jamming dashing does not occur and the diffusing does not occur.; int6 -> int7: the jamming dashing does not occur.; int4 & int7 -> int8: the caudate does not occur and the jamming dashing does not occur.; int8 & sent5 -> int9: the jamming words occurs.; sent4 & sent7 -> int10: both the swiping and the syntacticness occurs.; int10 -> int11: the swipe happens.; int9 & int11 -> hypothesis;
$hypothesis$ = both the swiping and the jamming words occurs. ; $context$ = sent1: the expiring occurs but the rupture does not occur. sent2: the watering happens. sent3: the jamming dashing does not occur and the diffusedness does not occur if the expiring occurs. sent4: the swipe and the syntacticness happens if the jamming utahraptor does not occur. sent5: that the caudateness does not occur and the jamming dashing does not occur triggers the jamming words. sent6: if both the caudateness and the fatwa occurs then the watering does not occur. sent7: the jamming utahraptor does not occur. sent8: the fatwa happens. ; $proof$ = 
void -> assump1: Let's assume that the caudate occurs.; assump1 & sent8 -> int1: both the caudateness and the fatwa happens.; int1 & sent6 -> int2: the waters does not occur.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the caudate does not occur.; sent1 -> int5: that the expiring happens is not false.; sent3 & int5 -> int6: the jamming dashing does not occur and the diffusing does not occur.; int6 -> int7: the jamming dashing does not occur.; int4 & int7 -> int8: the caudate does not occur and the jamming dashing does not occur.; int8 & sent5 -> int9: the jamming words occurs.; sent4 & sent7 -> int10: both the swiping and the syntacticness occurs.; int10 -> int11: the swipe happens.; int9 & int11 -> hypothesis; __PROVED__