that if the Merovingian is a Fremont then the coronion is productive is not true.
sent1: if the coronion is a kind of a Fremont then it is productive. sent2: if the coronion is productive then it nets. sent3: the Merovingian is a kind of a net if it is a Fremont. sent4: if the Merovingian is productive the coronion is a kind of a net. sent5: that the Merovingian is not unproductive is not false. sent6: if something that is not productive is a Fremont it is net. sent7: the fact that the Merovingian is a roman is true. sent8: the takin is a kind of a Fremont. sent9: if the Merovingian nets the coronion is productive. sent10: the sgraffito is a Fremont. sent11: if the Merovingian is a Fremont then it is productive. sent12: the Merovingian clings timbale.
void -> assump1: Let's assume that the Merovingian is a Fremont.; sent3 & assump1 -> int1: the Merovingian does net.; sent9 & int1 -> int2: that the coronion is productive is right.; [assump1] & int2 -> hypothesis;
the bandoneon is a kind of a net.
sent6 -> int3: the bandoneon is a net if it is not productive and is a Fremont.;
$hypothesis$ = that if the Merovingian is a Fremont then the coronion is productive is not true. ; $context$ = sent1: if the coronion is a kind of a Fremont then it is productive. sent2: if the coronion is productive then it nets. sent3: the Merovingian is a kind of a net if it is a Fremont. sent4: if the Merovingian is productive the coronion is a kind of a net. sent5: that the Merovingian is not unproductive is not false. sent6: if something that is not productive is a Fremont it is net. sent7: the fact that the Merovingian is a roman is true. sent8: the takin is a kind of a Fremont. sent9: if the Merovingian nets the coronion is productive. sent10: the sgraffito is a Fremont. sent11: if the Merovingian is a Fremont then it is productive. sent12: the Merovingian clings timbale. ; $proof$ = 
void -> assump1: Let's assume that the Merovingian is a Fremont.; sent3 & assump1 -> int1: the Merovingian does net.; sent9 & int1 -> int2: that the coronion is productive is right.; [assump1] & int2 -> hypothesis; __DISPROVED__