if the colliding happens the entailing fiftieth occurs.
sent1: the aspectualness occurs. sent2: the snipping does not occur. sent3: the tortiousness occurs if the snip does not occur and the collaring Faraday occurs. sent4: that the azimuthalness happens and the conge occurs prevents the colliding. sent5: both the orthopticsness and the azimuthalness occurs. sent6: the collaring Faraday happens and the aspectualness happens. sent7: that the entailing fiftieth does not occur is prevented by that the conge does not occur but the tortiousness occurs.
sent5 -> int1: the azimuthalness occurs.; void -> assump2: Let's assume that the conge happens.; int1 & assump2 -> int2: both the azimuthalness and the conge occurs.; int2 & sent4 -> int3: the colliding does not occur.; void -> assump1: Let's assume that the colliding occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the conge does not occur.; sent6 -> int6: the collaring Faraday occurs.; sent2 & int6 -> int7: the snipping does not occur and the collaring Faraday happens.; sent3 & int7 -> int8: the tortiousness occurs.; int5 & int8 -> int9: the conge does not occur but the tortiousness occurs.; int9 & sent7 -> int10: the entailing fiftieth happens.; [assump1] & int10 -> hypothesis;
$hypothesis$ = if the colliding happens the entailing fiftieth occurs. ; $context$ = sent1: the aspectualness occurs. sent2: the snipping does not occur. sent3: the tortiousness occurs if the snip does not occur and the collaring Faraday occurs. sent4: that the azimuthalness happens and the conge occurs prevents the colliding. sent5: both the orthopticsness and the azimuthalness occurs. sent6: the collaring Faraday happens and the aspectualness happens. sent7: that the entailing fiftieth does not occur is prevented by that the conge does not occur but the tortiousness occurs. ; $proof$ = 
sent5 -> int1: the azimuthalness occurs.; void -> assump2: Let's assume that the conge happens.; int1 & assump2 -> int2: both the azimuthalness and the conge occurs.; int2 & sent4 -> int3: the colliding does not occur.; void -> assump1: Let's assume that the colliding occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the conge does not occur.; sent6 -> int6: the collaring Faraday occurs.; sent2 & int6 -> int7: the snipping does not occur and the collaring Faraday happens.; sent3 & int7 -> int8: the tortiousness occurs.; int5 & int8 -> int9: the conge does not occur but the tortiousness occurs.; int9 & sent7 -> int10: the entailing fiftieth happens.; [assump1] & int10 -> hypothesis; __PROVED__