the fact that the Mansi does dunk anti and is not a pellitory is incorrect.
sent1: the collard is not universalistic but it is a Lorisidae if the fact that the submitter is a kind of a workpiece is not correct. sent2: that the collard does not bode but it is a kind of a landfill is true. sent3: if something is not universalistic but it is a kind of a Lorisidae then it shushes protege. sent4: if the bursar is not a pellitory then that the fact that the Mansi does dunk anti but it is not a kind of a pellitory is not right is not incorrect. sent5: if the collard is anthropogenetic and does not hum baronet then the submitter does not hum baronet. sent6: if something does not hum baronet then the fact that the bursar is both anthropogenetic and a landfill is wrong. sent7: that the submitter is not a rococo but it does shush protege is not right if it does not hum baronet. sent8: if either the collard is a kind of a rococo or it shushes protege or both the fact that the protege does not hum baronet hold. sent9: something is not a kind of a pellitory if that it is anthropogenetic and it is a landfill does not hold. sent10: the submitter is not a workpiece. sent11: something does dunk anti and is not a pellitory if it is a kind of a workpiece.
sent1 & sent10 -> int1: the collard is a kind of non-universalistic a Lorisidae.; sent3 -> int2: the collard shushes protege if it is not universalistic and it is a Lorisidae.; int1 & int2 -> int3: the collard shushes protege.; int3 -> int4: the collard is a rococo or shushes protege or both.; int4 & sent8 -> int5: the protege does not hum baronet.; int5 -> int6: something does not hum baronet.; int6 & sent6 -> int7: the fact that the bursar is anthropogenetic and it is a kind of a landfill is not true.; sent9 -> int8: if that the bursar is anthropogenetic thing that is a landfill is wrong it is not a pellitory.; int7 & int8 -> int9: the bursar is not a pellitory.; int9 & sent4 -> hypothesis;
the Mansi does dunk anti but it is not a pellitory.
sent11 -> int10: if the Mansi is a workpiece it does dunk anti and is not a pellitory.; sent2 -> int11: the collard is a landfill.;
$hypothesis$ = the fact that the Mansi does dunk anti and is not a pellitory is incorrect. ; $context$ = sent1: the collard is not universalistic but it is a Lorisidae if the fact that the submitter is a kind of a workpiece is not correct. sent2: that the collard does not bode but it is a kind of a landfill is true. sent3: if something is not universalistic but it is a kind of a Lorisidae then it shushes protege. sent4: if the bursar is not a pellitory then that the fact that the Mansi does dunk anti but it is not a kind of a pellitory is not right is not incorrect. sent5: if the collard is anthropogenetic and does not hum baronet then the submitter does not hum baronet. sent6: if something does not hum baronet then the fact that the bursar is both anthropogenetic and a landfill is wrong. sent7: that the submitter is not a rococo but it does shush protege is not right if it does not hum baronet. sent8: if either the collard is a kind of a rococo or it shushes protege or both the fact that the protege does not hum baronet hold. sent9: something is not a kind of a pellitory if that it is anthropogenetic and it is a landfill does not hold. sent10: the submitter is not a workpiece. sent11: something does dunk anti and is not a pellitory if it is a kind of a workpiece. ; $proof$ = 
sent1 & sent10 -> int1: the collard is a kind of non-universalistic a Lorisidae.; sent3 -> int2: the collard shushes protege if it is not universalistic and it is a Lorisidae.; int1 & int2 -> int3: the collard shushes protege.; int3 -> int4: the collard is a rococo or shushes protege or both.; int4 & sent8 -> int5: the protege does not hum baronet.; int5 -> int6: something does not hum baronet.; int6 & sent6 -> int7: the fact that the bursar is anthropogenetic and it is a kind of a landfill is not true.; sent9 -> int8: if that the bursar is anthropogenetic thing that is a landfill is wrong it is not a pellitory.; int7 & int8 -> int9: the bursar is not a pellitory.; int9 & sent4 -> hypothesis; __PROVED__