the leastness happens and/or the spinning occurs.
sent1: that the amoristicness does not occur is true. sent2: the planetariness does not occur. sent3: the fact that the bowdlerization does not occur and the minuet does not occur is false. sent4: the moonlessness occurs. sent5: the fact that the manumission does not occur and the peripheralness does not occur is false if the least does not occur. sent6: either the flotation or the paramilitariness or both occurs. sent7: if the distempering does not occur that the grouping Anasa does not occur but the distention happens is wrong.
void -> assump1: Let's assume that the leastness does not occur.; sent5 & assump1 -> int1: that the manumission does not occur and the peripheral does not occur does not hold.;
$hypothesis$ = the leastness happens and/or the spinning occurs. ; $context$ = sent1: that the amoristicness does not occur is true. sent2: the planetariness does not occur. sent3: the fact that the bowdlerization does not occur and the minuet does not occur is false. sent4: the moonlessness occurs. sent5: the fact that the manumission does not occur and the peripheralness does not occur is false if the least does not occur. sent6: either the flotation or the paramilitariness or both occurs. sent7: if the distempering does not occur that the grouping Anasa does not occur but the distention happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the leastness does not occur.; sent5 & assump1 -> int1: that the manumission does not occur and the peripheral does not occur does not hold.; __UNKNOWN__