either the governorship occurs or the topping membered does not occur or both.
sent1: the socialisticness does not occur if that both the malting spike and the socialisticness happens is not right. sent2: that the malting spike happens and the socialisticness occurs does not hold. sent3: that the repairing occurs if the parameter does not occur is true. sent4: the non-insaneness triggers that the governorship happens or the topping membered or both. sent5: if the tonsure does not occur the malting Yankee does not occur. sent6: if that the insaneness does not occur is not incorrect then either the governorship occurs or the topping membered does not occur or both. sent7: the fact that the forehand does not occur is true. sent8: that the malting inch does not occur is not incorrect. sent9: the insaneness does not occur if the benzylicness does not occur. sent10: if the repairing and the benzylicness happens then the forwarding does not occur. sent11: the non-socialisticness yields that not the forehand but the forwarding occurs. sent12: that the parameter does not occur is correct. sent13: if the socialisticness does not occur the forehandness does not occur. sent14: the governorship and/or the topping membered happens.
sent3 & sent12 -> int1: the repairing happens.; void -> assump1: Let's assume that the benzylicness occurs.; int1 & assump1 -> int2: the repair and the benzylicness happens.; int2 & sent10 -> int3: the forwarding does not occur.; sent1 & sent2 -> int4: the socialisticness does not occur.; sent11 & int4 -> int5: not the forehandness but the forwardingness occurs.; int5 -> int6: the forwarding happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the benzylicness does not occur.; int8 & sent9 -> int9: the insaneness does not occur.; int9 & sent6 -> hypothesis;
$hypothesis$ = either the governorship occurs or the topping membered does not occur or both. ; $context$ = sent1: the socialisticness does not occur if that both the malting spike and the socialisticness happens is not right. sent2: that the malting spike happens and the socialisticness occurs does not hold. sent3: that the repairing occurs if the parameter does not occur is true. sent4: the non-insaneness triggers that the governorship happens or the topping membered or both. sent5: if the tonsure does not occur the malting Yankee does not occur. sent6: if that the insaneness does not occur is not incorrect then either the governorship occurs or the topping membered does not occur or both. sent7: the fact that the forehand does not occur is true. sent8: that the malting inch does not occur is not incorrect. sent9: the insaneness does not occur if the benzylicness does not occur. sent10: if the repairing and the benzylicness happens then the forwarding does not occur. sent11: the non-socialisticness yields that not the forehand but the forwarding occurs. sent12: that the parameter does not occur is correct. sent13: if the socialisticness does not occur the forehandness does not occur. sent14: the governorship and/or the topping membered happens. ; $proof$ = 
sent3 & sent12 -> int1: the repairing happens.; void -> assump1: Let's assume that the benzylicness occurs.; int1 & assump1 -> int2: the repair and the benzylicness happens.; int2 & sent10 -> int3: the forwarding does not occur.; sent1 & sent2 -> int4: the socialisticness does not occur.; sent11 & int4 -> int5: not the forehandness but the forwardingness occurs.; int5 -> int6: the forwarding happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the benzylicness does not occur.; int8 & sent9 -> int9: the insaneness does not occur.; int9 & sent6 -> hypothesis; __PROVED__