that the boronicness does not occur or the collision happens or both if the talcing workhouse does not occur is false.
sent1: that the trigonometricness does not occur and the jockeying happens is not true if the talcing workhouse occurs. sent2: the boronicness and/or the collision occurs if the talcing workhouse does not occur. sent3: the talcing workhouse yields that the non-boronicness or the collision or both happens. sent4: the boronicness happens or the collision happens or both. sent5: that the fatherhood does not occur is caused by that the geysering driftfish occurs. sent6: if the talcing workhouse does not occur that the non-trigonometricness and the jockey happens is not true. sent7: the summation does not occur if that the trigonometricness does not occur but the jockey happens is not true. sent8: that the summation does not occur results in that the non-boronicness and/or the collision happens.
void -> assump1: Let's assume that the talcing workhouse does not occur.; sent6 & assump1 -> int1: that the non-trigonometricness and the jockey happens is not right.; sent7 & int1 -> int2: the summation does not occur.; sent8 & int2 -> int3: the non-boronicness and/or the collision happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the boronicness does not occur or the collision happens or both if the talcing workhouse does not occur is false. ; $context$ = sent1: that the trigonometricness does not occur and the jockeying happens is not true if the talcing workhouse occurs. sent2: the boronicness and/or the collision occurs if the talcing workhouse does not occur. sent3: the talcing workhouse yields that the non-boronicness or the collision or both happens. sent4: the boronicness happens or the collision happens or both. sent5: that the fatherhood does not occur is caused by that the geysering driftfish occurs. sent6: if the talcing workhouse does not occur that the non-trigonometricness and the jockey happens is not true. sent7: the summation does not occur if that the trigonometricness does not occur but the jockey happens is not true. sent8: that the summation does not occur results in that the non-boronicness and/or the collision happens. ; $proof$ = 
void -> assump1: Let's assume that the talcing workhouse does not occur.; sent6 & assump1 -> int1: that the non-trigonometricness and the jockey happens is not right.; sent7 & int1 -> int2: the summation does not occur.; sent8 & int2 -> int3: the non-boronicness and/or the collision happens.; [assump1] & int3 -> hypothesis; __DISPROVED__