the fact that the campaigning does not occur and the intensiveness does not occur is not right.
sent1: that the self-fertilization happens or the boning frond happens or both yields that the sobering does not occur. sent2: that the disregard occurs and the noncomprehensiveness occurs is brought about by that the Machiavellianness does not occur. sent3: that the intensiveness does not occur is brought about by that the boning frond and the self-fertilization happens. sent4: either the firebombing lodging or the feminism or both happens. sent5: that the containment does not occur and/or the Machiavellian does not occur leads to the non-Machiavellian. sent6: that the soberness does not occur but the little occurs does not hold. sent7: the littleness and the disregard happens. sent8: the containment does not occur and/or the Machiavellianness does not occur. sent9: if the fact that both the little and the non-soberness occurs is not right then the campaigning does not occur.
void -> assump1: Let's assume that the boning frond happens.; assump1 -> int1: either the self-fertilization or the boning frond or both happens.; int1 & sent1 -> int2: the soberness does not occur.; sent7 -> int3: the little happens.; int2 & int3 -> int4: both the non-soberness and the littleness occurs.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the boning frond does not occur.;
the campaigning does not occur and the intensiveness does not occur.
sent5 & sent8 -> int7: the Machiavellian does not occur.; sent2 & int7 -> int8: the disregard and the noncomprehensiveness happens.; int8 -> int9: the disregard happens.;
$hypothesis$ = the fact that the campaigning does not occur and the intensiveness does not occur is not right. ; $context$ = sent1: that the self-fertilization happens or the boning frond happens or both yields that the sobering does not occur. sent2: that the disregard occurs and the noncomprehensiveness occurs is brought about by that the Machiavellianness does not occur. sent3: that the intensiveness does not occur is brought about by that the boning frond and the self-fertilization happens. sent4: either the firebombing lodging or the feminism or both happens. sent5: that the containment does not occur and/or the Machiavellian does not occur leads to the non-Machiavellian. sent6: that the soberness does not occur but the little occurs does not hold. sent7: the littleness and the disregard happens. sent8: the containment does not occur and/or the Machiavellianness does not occur. sent9: if the fact that both the little and the non-soberness occurs is not right then the campaigning does not occur. ; $proof$ = 
void -> assump1: Let's assume that the boning frond happens.; assump1 -> int1: either the self-fertilization or the boning frond or both happens.; int1 & sent1 -> int2: the soberness does not occur.; sent7 -> int3: the little happens.; int2 & int3 -> int4: both the non-soberness and the littleness occurs.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the boning frond does not occur.; __UNKNOWN__