the brim is not amicable.
sent1: if the bread-bin is not non-declarative the fact that the fact that the dryopithecine does not intrigue ineligibility and scales dryopithecine does not hold is not wrong. sent2: the bread-bin is declarative. sent3: the contralto is an ovule if that the dryopithecine does not intrigue ineligibility but it scales dryopithecine is not correct. sent4: that the contralto is a beauty hold. sent5: if the contralto is not a punt the brim is amicable. sent6: if the contralto is an ovule that is a punt it is not a beauty.
sent1 & sent2 -> int1: that the dryopithecine does not intrigue ineligibility but it scales dryopithecine is wrong.; int1 & sent3 -> int2: the contralto is an ovule.; void -> assump1: Let's assume that the contralto punts.; int2 & assump1 -> int3: the contralto is an ovule and it does punt.; int3 & sent6 -> int4: the contralto is not a beauty.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the contralto does not punt.; int6 & sent5 -> hypothesis;
$hypothesis$ = the brim is not amicable. ; $context$ = sent1: if the bread-bin is not non-declarative the fact that the fact that the dryopithecine does not intrigue ineligibility and scales dryopithecine does not hold is not wrong. sent2: the bread-bin is declarative. sent3: the contralto is an ovule if that the dryopithecine does not intrigue ineligibility but it scales dryopithecine is not correct. sent4: that the contralto is a beauty hold. sent5: if the contralto is not a punt the brim is amicable. sent6: if the contralto is an ovule that is a punt it is not a beauty. ; $proof$ = 
sent1 & sent2 -> int1: that the dryopithecine does not intrigue ineligibility but it scales dryopithecine is wrong.; int1 & sent3 -> int2: the contralto is an ovule.; void -> assump1: Let's assume that the contralto punts.; int2 & assump1 -> int3: the contralto is an ovule and it does punt.; int3 & sent6 -> int4: the contralto is not a beauty.; int4 & sent4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the contralto does not punt.; int6 & sent5 -> hypothesis; __DISPROVED__