the laugher happens.
sent1: if that the rat-a-tat-tat does not occur is not false the fact that both the submission and the mound happens does not hold. sent2: the floralness does not occur and the consulship does not occur. sent3: both the shying and the axing naturalness occurs if the floralness does not occur. sent4: that the axing cuneiform occurs and the ink-jetness occurs is incorrect if the antigenicness does not occur. sent5: if the fact that the fives does not occur is not incorrect the cooperation occurs and the rambling bacon occurs. sent6: the fives does not occur. sent7: that both the piezoelectricness and the axing naturalness occurs triggers that the laugher does not occur. sent8: the piezoelectricness occurs if that the antigenicness happens hold. sent9: the laugher occurs if the fact that the cooperation does not occur or the antigenicness happens or both does not hold. sent10: that the consulship does not occur hold. sent11: if the fact that the fact that the axing cuneiform happens and the ink-jetness occurs is correct is not true the cooperation does not occur. sent12: both the non-electromagneticness and the non-antigenicness happens if the shiness does not occur.
void -> assump1: Let's assume that the antigenicness does not occur.; sent4 & assump1 -> int1: that the axing cuneiform and the ink-jetness happens is not right.; int1 & sent11 -> int2: the cooperation does not occur.; sent5 & sent6 -> int3: the cooperation occurs and the rambling bacon happens.; int3 -> int4: the cooperation occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the antigenicness happens.; int6 & sent8 -> int7: the piezoelectricness occurs.; sent2 -> int8: the floralness does not occur.; sent3 & int8 -> int9: the shy occurs and the axing naturalness happens.; int9 -> int10: the axing naturalness happens.; int7 & int10 -> int11: both the piezoelectricness and the axing naturalness happens.; int11 & sent7 -> hypothesis;
the rambling pump does not occur and the electromagneticness does not occur.
$hypothesis$ = the laugher happens. ; $context$ = sent1: if that the rat-a-tat-tat does not occur is not false the fact that both the submission and the mound happens does not hold. sent2: the floralness does not occur and the consulship does not occur. sent3: both the shying and the axing naturalness occurs if the floralness does not occur. sent4: that the axing cuneiform occurs and the ink-jetness occurs is incorrect if the antigenicness does not occur. sent5: if the fact that the fives does not occur is not incorrect the cooperation occurs and the rambling bacon occurs. sent6: the fives does not occur. sent7: that both the piezoelectricness and the axing naturalness occurs triggers that the laugher does not occur. sent8: the piezoelectricness occurs if that the antigenicness happens hold. sent9: the laugher occurs if the fact that the cooperation does not occur or the antigenicness happens or both does not hold. sent10: that the consulship does not occur hold. sent11: if the fact that the fact that the axing cuneiform happens and the ink-jetness occurs is correct is not true the cooperation does not occur. sent12: both the non-electromagneticness and the non-antigenicness happens if the shiness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the antigenicness does not occur.; sent4 & assump1 -> int1: that the axing cuneiform and the ink-jetness happens is not right.; int1 & sent11 -> int2: the cooperation does not occur.; sent5 & sent6 -> int3: the cooperation occurs and the rambling bacon happens.; int3 -> int4: the cooperation occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the antigenicness happens.; int6 & sent8 -> int7: the piezoelectricness occurs.; sent2 -> int8: the floralness does not occur.; sent3 & int8 -> int9: the shy occurs and the axing naturalness happens.; int9 -> int10: the axing naturalness happens.; int7 & int10 -> int11: both the piezoelectricness and the axing naturalness happens.; int11 & sent7 -> hypothesis; __DISPROVED__