the fact that something does not learn and it does not overpower mausoleum is not true.
sent1: the fact that if the module overpowers lisper the lisper does overpowers lisper hold. sent2: that the lisper does overpower lisper is not incorrect if the module does arouse priestess. sent3: the fact that the grabber does not learn and does not overpower mausoleum is not false if the cosy does not overpower densitometer. sent4: the densitometer does not overpower lisper. sent5: if that the lisper is a cobalt or not non-outing or both hold it does not overpower lisper. sent6: something that is a kind of underhand thing that is not a thickness is not a cotyledon. sent7: if the orpiment is not a cotyledon then the fact that the cosy does overpower densitometer is not true. sent8: if the lisper is not an outing then the orpiment is underhand but not a thickness. sent9: the orpiment does not arouse priestess. sent10: the module arouses priestess or it overpowers lisper or both.
void -> assump1: Let's assume that the lisper outs.; assump1 -> int1: the lisper is a cobalt and/or not non-outing.; int1 & sent5 -> int2: the lisper does not overpower lisper.; sent10 & sent2 & sent1 -> int3: the lisper does overpower lisper.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lisper is non-outing.; int5 & sent8 -> int6: the orpiment is underhand but it is not a thickness.; sent6 -> int7: the orpiment is not a cotyledon if it is underhand and it is not a thickness.; int6 & int7 -> int8: the orpiment is not a cotyledon.; int8 & sent7 -> int9: the cosy does not overpower densitometer.; int9 & sent3 -> int10: the grabber does not learn and it does not overpower mausoleum.; int10 -> hypothesis;
$hypothesis$ = the fact that something does not learn and it does not overpower mausoleum is not true. ; $context$ = sent1: the fact that if the module overpowers lisper the lisper does overpowers lisper hold. sent2: that the lisper does overpower lisper is not incorrect if the module does arouse priestess. sent3: the fact that the grabber does not learn and does not overpower mausoleum is not false if the cosy does not overpower densitometer. sent4: the densitometer does not overpower lisper. sent5: if that the lisper is a cobalt or not non-outing or both hold it does not overpower lisper. sent6: something that is a kind of underhand thing that is not a thickness is not a cotyledon. sent7: if the orpiment is not a cotyledon then the fact that the cosy does overpower densitometer is not true. sent8: if the lisper is not an outing then the orpiment is underhand but not a thickness. sent9: the orpiment does not arouse priestess. sent10: the module arouses priestess or it overpowers lisper or both. ; $proof$ = 
void -> assump1: Let's assume that the lisper outs.; assump1 -> int1: the lisper is a cobalt and/or not non-outing.; int1 & sent5 -> int2: the lisper does not overpower lisper.; sent10 & sent2 & sent1 -> int3: the lisper does overpower lisper.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lisper is non-outing.; int5 & sent8 -> int6: the orpiment is underhand but it is not a thickness.; sent6 -> int7: the orpiment is not a cotyledon if it is underhand and it is not a thickness.; int6 & int7 -> int8: the orpiment is not a cotyledon.; int8 & sent7 -> int9: the cosy does not overpower densitometer.; int9 & sent3 -> int10: the grabber does not learn and it does not overpower mausoleum.; int10 -> hypothesis; __DISPROVED__