the muumuu does superannuate.
sent1: the muumuu does not superannuate if the jimmy is not bipolar. sent2: the combatant is not minor. sent3: that the admiral does not superannuate hold. sent4: the muumuu angles antiquity if the agnostic superannuates. sent5: if the agnostic does angle antiquity then the combatant is a kind of a boa. sent6: the combatant is not bipolar. sent7: if something is bipolar it does superannuate. sent8: the agnostic does angle antiquity if the jimmy is bipolar. sent9: the agnostic is not a kind of a boa if it does not angle antiquity. sent10: if something is not minor then that it is not a boa is not wrong. sent11: the agnostic does not get SAM. sent12: that the jimmy is not a planking is right.
void -> assump1: Let's assume that the fact that the jimmy is bipolar is not incorrect.; sent8 & assump1 -> int1: the agnostic does angle antiquity.; int1 & sent5 -> int2: the combatant is a kind of a boa.; sent10 -> int3: the combatant is not a boa if it is not minor.; int3 & sent2 -> int4: the combatant is not a boa.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jimmy is not bipolar.; int6 & sent1 -> hypothesis;
the muumuu superannuates.
sent7 -> int7: the muumuu does superannuate if it is bipolar.;
$hypothesis$ = the muumuu does superannuate. ; $context$ = sent1: the muumuu does not superannuate if the jimmy is not bipolar. sent2: the combatant is not minor. sent3: that the admiral does not superannuate hold. sent4: the muumuu angles antiquity if the agnostic superannuates. sent5: if the agnostic does angle antiquity then the combatant is a kind of a boa. sent6: the combatant is not bipolar. sent7: if something is bipolar it does superannuate. sent8: the agnostic does angle antiquity if the jimmy is bipolar. sent9: the agnostic is not a kind of a boa if it does not angle antiquity. sent10: if something is not minor then that it is not a boa is not wrong. sent11: the agnostic does not get SAM. sent12: that the jimmy is not a planking is right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the jimmy is bipolar is not incorrect.; sent8 & assump1 -> int1: the agnostic does angle antiquity.; int1 & sent5 -> int2: the combatant is a kind of a boa.; sent10 -> int3: the combatant is not a boa if it is not minor.; int3 & sent2 -> int4: the combatant is not a boa.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jimmy is not bipolar.; int6 & sent1 -> hypothesis; __DISPROVED__