the trebling maul does not occur.
sent1: the bicipitalness does not occur. sent2: the fact that the trebling maul does not occur if the domestic happens hold. sent3: the foliaceousness happens. sent4: the chair happens. sent5: the foliaceousness and the domestic occurs if the citifying does not occur. sent6: the citifying does not occur. sent7: the trebling maul happens and the citifying occurs if the sea-duty does not occur. sent8: the foliaceousness happens if the fact that the citifying does not occur is correct.
sent5 & sent6 -> int1: the foliaceousness occurs and the domestic occurs.; int1 -> int2: the domesticness happens.; sent2 & int2 -> hypothesis;
the trebling maul happens.
$hypothesis$ = the trebling maul does not occur. ; $context$ = sent1: the bicipitalness does not occur. sent2: the fact that the trebling maul does not occur if the domestic happens hold. sent3: the foliaceousness happens. sent4: the chair happens. sent5: the foliaceousness and the domestic occurs if the citifying does not occur. sent6: the citifying does not occur. sent7: the trebling maul happens and the citifying occurs if the sea-duty does not occur. sent8: the foliaceousness happens if the fact that the citifying does not occur is correct. ; $proof$ = 
sent5 & sent6 -> int1: the foliaceousness occurs and the domestic occurs.; int1 -> int2: the domesticness happens.; sent2 & int2 -> hypothesis; __PROVED__