the conformistness happens and the plundering happens.
sent1: the latheriness occurs. sent2: the offstageness does not occur. sent3: the Bismarckianness does not occur. sent4: that the translunarness occurs is caused by the gemmiferousness. sent5: not the Romanshness but the wolflikeness happens if the gemmiferousness does not occur. sent6: the bureaucraticness occurs. sent7: that the conformist happens is caused by that the non-Romanshness and the wolflikeness happens. sent8: the bureaucraticness does not occur if the translunarness occurs and the fibbing happens. sent9: the fibbing happens and the peregrination happens. sent10: that the shafting irritability does not occur results in that the commotion happens.
void -> assump1: Let's assume that the gemmiferousness occurs.; sent4 & assump1 -> int1: the translunarness happens.; sent9 -> int2: the fibbing happens.; int1 & int2 -> int3: the translunarness and the fibbing occurs.; int3 & sent8 -> int4: the bureaucraticness does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the gemmiferousness does not occur.; int6 & sent5 -> int7: not the Romanshness but the wolflikeness occurs.; int7 & sent7 -> int8: the conformistness occurs.;
that the conformistness and the plundering occurs is false.
 -> hypothesis;
$hypothesis$ = the conformistness happens and the plundering happens. ; $context$ = sent1: the latheriness occurs. sent2: the offstageness does not occur. sent3: the Bismarckianness does not occur. sent4: that the translunarness occurs is caused by the gemmiferousness. sent5: not the Romanshness but the wolflikeness happens if the gemmiferousness does not occur. sent6: the bureaucraticness occurs. sent7: that the conformist happens is caused by that the non-Romanshness and the wolflikeness happens. sent8: the bureaucraticness does not occur if the translunarness occurs and the fibbing happens. sent9: the fibbing happens and the peregrination happens. sent10: that the shafting irritability does not occur results in that the commotion happens. ; $proof$ = 
void -> assump1: Let's assume that the gemmiferousness occurs.; sent4 & assump1 -> int1: the translunarness happens.; sent9 -> int2: the fibbing happens.; int1 & int2 -> int3: the translunarness and the fibbing occurs.; int3 & sent8 -> int4: the bureaucraticness does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the gemmiferousness does not occur.; int6 & sent5 -> int7: not the Romanshness but the wolflikeness occurs.; int7 & sent7 -> int8: the conformistness occurs.; __UNKNOWN__