the rounders spams.
sent1: that the rounders is inadmissible is not wrong. sent2: the fact that the quadraphony is a Solenostemon and nacreous is not true. sent3: everything is not a coronary. sent4: the lexicalization is inadmissible if the quadraphony is nacreous. sent5: the lexicalization is inadmissible if the fact that the quadraphony is a Solenostemon and is non-nacreous is false. sent6: the fact that the quadraphony is a Solenostemon but it is not nacreous is not right. sent7: the rounders does spam if it is a tumor. sent8: if the rounders is maturational it is a tumor. sent9: the fact that something is a Solenostemon and is not a ligament is not true if it is maturational. sent10: if the lexicalization is inadmissible the rounders is maturational. sent11: that something is a tumor and it discards subordination is not right if it is not a coronary. sent12: if something that is inadmissible is not maturational then it is not a spam.
sent5 & sent6 -> int1: the lexicalization is inadmissible.; int1 & sent10 -> int2: the rounders is maturational.; int2 & sent8 -> int3: the rounders is a kind of a tumor.; int3 & sent7 -> hypothesis;
the fact that the kob is a kind of a Solenostemon but it is not a ligament is false.
sent9 -> int4: that the kob is a Solenostemon but it is not a ligament is false if that it is maturational is right.;
$hypothesis$ = the rounders spams. ; $context$ = sent1: that the rounders is inadmissible is not wrong. sent2: the fact that the quadraphony is a Solenostemon and nacreous is not true. sent3: everything is not a coronary. sent4: the lexicalization is inadmissible if the quadraphony is nacreous. sent5: the lexicalization is inadmissible if the fact that the quadraphony is a Solenostemon and is non-nacreous is false. sent6: the fact that the quadraphony is a Solenostemon but it is not nacreous is not right. sent7: the rounders does spam if it is a tumor. sent8: if the rounders is maturational it is a tumor. sent9: the fact that something is a Solenostemon and is not a ligament is not true if it is maturational. sent10: if the lexicalization is inadmissible the rounders is maturational. sent11: that something is a tumor and it discards subordination is not right if it is not a coronary. sent12: if something that is inadmissible is not maturational then it is not a spam. ; $proof$ = 
sent5 & sent6 -> int1: the lexicalization is inadmissible.; int1 & sent10 -> int2: the rounders is maturational.; int2 & sent8 -> int3: the rounders is a kind of a tumor.; int3 & sent7 -> hypothesis; __PROVED__