that the mincemeat is an ancients if the prism is a Secale is wrong.
sent1: the mincemeat is a kind of a Secale. sent2: if that the mincemeat is a Mancunian is correct the springer is a Secale. sent3: that the springer is not a Secale is not true. sent4: that the sulfisoxazole is a kind of a Mancunian is not false. sent5: the springer is a Mancunian if the prism is a kind of a Secale. sent6: if the springer is an ancients then the mincemeat is a Mancunian. sent7: the springer is an ancients. sent8: the springer is a Secale if the prism is a Mancunian. sent9: the prism is an ancients if that the mincemeat is a Secale is right. sent10: the prism is Mancunian. sent11: if the mincemeat is a kind of a Mancunian the springer is an ancients. sent12: the prism is equestrian. sent13: the mincemeat is a kind of an ancients if the fact that the springer is a Mancunian is not false. sent14: the springer is an exhortation. sent15: the prism is an ancients if that the mincemeat is Mancunian is true. sent16: the fact that the mincemeat is a Secale is not incorrect if the fact that the prism is an ancients is correct. sent17: the paste is a Secale. sent18: the prism is a kind of a Sudanese. sent19: the springer unifies.
void -> assump1: Let's assume that the prism is a Secale.; sent5 & assump1 -> int1: the springer is a Mancunian.; sent13 & int1 -> int2: the mincemeat is a kind of an ancients.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the mincemeat is an ancients if the prism is a Secale is wrong. ; $context$ = sent1: the mincemeat is a kind of a Secale. sent2: if that the mincemeat is a Mancunian is correct the springer is a Secale. sent3: that the springer is not a Secale is not true. sent4: that the sulfisoxazole is a kind of a Mancunian is not false. sent5: the springer is a Mancunian if the prism is a kind of a Secale. sent6: if the springer is an ancients then the mincemeat is a Mancunian. sent7: the springer is an ancients. sent8: the springer is a Secale if the prism is a Mancunian. sent9: the prism is an ancients if that the mincemeat is a Secale is right. sent10: the prism is Mancunian. sent11: if the mincemeat is a kind of a Mancunian the springer is an ancients. sent12: the prism is equestrian. sent13: the mincemeat is a kind of an ancients if the fact that the springer is a Mancunian is not false. sent14: the springer is an exhortation. sent15: the prism is an ancients if that the mincemeat is Mancunian is true. sent16: the fact that the mincemeat is a Secale is not incorrect if the fact that the prism is an ancients is correct. sent17: the paste is a Secale. sent18: the prism is a kind of a Sudanese. sent19: the springer unifies. ; $proof$ = 
void -> assump1: Let's assume that the prism is a Secale.; sent5 & assump1 -> int1: the springer is a Mancunian.; sent13 & int1 -> int2: the mincemeat is a kind of an ancients.; [assump1] & int2 -> hypothesis; __DISPROVED__