the digest is not a dumpcart.
sent1: something is a dumpcart if it is individual. sent2: something is not a kind of a brain-fag if it is acinar and is a testing. sent3: the paramour is not non-individual. sent4: if the carbamate is not a brain-fag then the digest does not scram topped. sent5: the carbamate is a testing and it steals Gothic. sent6: if the carbamate is not a brain-fag then the digest is a brain-fag that does not scram topped. sent7: if the paramour is a kind of an individual then the carbamate is acinar. sent8: the digest is cautious. sent9: if the Taurus does not test then it is both not non-fiduciary and individual. sent10: if something is a brain-fag and is cautious it is not a dumpcart.
sent7 & sent3 -> int1: that the carbamate is acinar is not wrong.; sent5 -> int2: the carbamate is a testing.; int1 & int2 -> int3: the carbamate is acinar and it tests.; sent2 -> int4: if the carbamate is both acinar and a testing it is not a kind of a brain-fag.; int3 & int4 -> int5: the carbamate is not a brain-fag.; int5 & sent6 -> int6: the digest is a brain-fag but it does not scram topped.; int6 -> int7: the digest is a brain-fag.; int7 & sent8 -> int8: the digest is a brain-fag and cautious.; sent10 -> int9: the digest is not a dumpcart if it is a brain-fag and it is cautious.; int8 & int9 -> hypothesis;
the digest is a dumpcart.
sent1 -> int10: if the digest is a kind of an individual it is a dumpcart.;
$hypothesis$ = the digest is not a dumpcart. ; $context$ = sent1: something is a dumpcart if it is individual. sent2: something is not a kind of a brain-fag if it is acinar and is a testing. sent3: the paramour is not non-individual. sent4: if the carbamate is not a brain-fag then the digest does not scram topped. sent5: the carbamate is a testing and it steals Gothic. sent6: if the carbamate is not a brain-fag then the digest is a brain-fag that does not scram topped. sent7: if the paramour is a kind of an individual then the carbamate is acinar. sent8: the digest is cautious. sent9: if the Taurus does not test then it is both not non-fiduciary and individual. sent10: if something is a brain-fag and is cautious it is not a dumpcart. ; $proof$ = 
sent7 & sent3 -> int1: that the carbamate is acinar is not wrong.; sent5 -> int2: the carbamate is a testing.; int1 & int2 -> int3: the carbamate is acinar and it tests.; sent2 -> int4: if the carbamate is both acinar and a testing it is not a kind of a brain-fag.; int3 & int4 -> int5: the carbamate is not a brain-fag.; int5 & sent6 -> int6: the digest is a brain-fag but it does not scram topped.; int6 -> int7: the digest is a brain-fag.; int7 & sent8 -> int8: the digest is a brain-fag and cautious.; sent10 -> int9: the digest is not a dumpcart if it is a brain-fag and it is cautious.; int8 & int9 -> hypothesis; __PROVED__