the psylla is not a consumptive.
sent1: if the psylla is a Marx then it is consumptive. sent2: if the fact that something is not motivational but it is a kind of a icepick is false then the fact that it is a kind of a Marx is true. sent3: that the psylla is not motivational but it is a icepick is not true. sent4: something is not consumptive if the fact that it is a kind of consumptive a Marx does not hold. sent5: there exists nothing that is a rink and is not distinct. sent6: if that the N is a rink but it is not distinct is false the squamule is not xenogeneic. sent7: that the psylla is motivational and is a icepick is not true. sent8: if there exists something such that that it is a Marx and diplomatic is not true the fact that the plasterboard is not a Marx is not wrong. sent9: that something is a Marx and is diplomatic is not true if it is not xenogeneic.
sent2 -> int1: the psylla is a kind of a Marx if that it is a kind of non-motivational thing that is a icepick is not right.; int1 & sent3 -> int2: the psylla is a Marx.; int2 & sent1 -> hypothesis;
the psylla is not a consumptive.
sent4 -> int3: the psylla is not consumptive if the fact that it is a consumptive and is a Marx does not hold.;
$hypothesis$ = the psylla is not a consumptive. ; $context$ = sent1: if the psylla is a Marx then it is consumptive. sent2: if the fact that something is not motivational but it is a kind of a icepick is false then the fact that it is a kind of a Marx is true. sent3: that the psylla is not motivational but it is a icepick is not true. sent4: something is not consumptive if the fact that it is a kind of consumptive a Marx does not hold. sent5: there exists nothing that is a rink and is not distinct. sent6: if that the N is a rink but it is not distinct is false the squamule is not xenogeneic. sent7: that the psylla is motivational and is a icepick is not true. sent8: if there exists something such that that it is a Marx and diplomatic is not true the fact that the plasterboard is not a Marx is not wrong. sent9: that something is a Marx and is diplomatic is not true if it is not xenogeneic. ; $proof$ = 
sent2 -> int1: the psylla is a kind of a Marx if that it is a kind of non-motivational thing that is a icepick is not right.; int1 & sent3 -> int2: the psylla is a Marx.; int2 & sent1 -> hypothesis; __DISPROVED__