the cochin is a waterpower if the matricide does preempt rendition.
sent1: the matricide is a waterpower if the cochin preempts rendition. sent2: if something does preempt rendition then the fact that it is not Singhalese is not incorrect. sent3: that the fact that something is not valent and is not fiducial hold is false if it does not jellify armada. sent4: that the cochin is not the baud if the cochin does preempt rendition hold. sent5: the cochin does not preempt rendition. sent6: if the cochin is Singhalese then the matricide is a kind of a baud. sent7: the fact that if the cornu does jellify armada and does not exceed Anomalopidae the fact that the lactase does not jellify armada is true is true. sent8: the cochin preempts rendition if that the matricide is a waterpower is not false. sent9: if something is fiducial then it is not a waterpower. sent10: a baud is a waterpower. sent11: that if the fact that something is a kind of non-valent thing that is not fiducial is not true then it is fiducial is not incorrect. sent12: if something is uvular then that it is not imperceptible is incorrect. sent13: the cornu is not bromic. sent14: the matricide is a waterpower if the cochin is Singhalese. sent15: if the matricide is a baud it is not Singhalese. sent16: the cochin does not preempt rendition and it is not Singhalese if there exists something such that it is not a waterpower. sent17: the cornu does jellify armada and does not exceed Anomalopidae if it is not bromic. sent18: the crotonbug is a baud.
sent2 -> int1: if the matricide preempts rendition it is not Singhalese.; void -> assump1: Let's assume that the matricide preempts rendition.; int1 & assump1 -> int2: the matricide is not Singhalese.; sent10 -> int3: the cochin is a waterpower if it is a kind of a baud.;
the gateau is a baud.
sent9 -> int4: if the lactase is fiducial then that it is not a kind of a waterpower is not wrong.; sent11 -> int5: if that the lactase is not valent and it is not fiducial is not correct then the fact that it is fiducial is not wrong.; sent3 -> int6: if the lactase does not jellify armada the fact that it is not valent and it is not fiducial is false.; sent17 & sent13 -> int7: the cornu does jellify armada but it does not exceed Anomalopidae.; sent7 & int7 -> int8: the lactase does not jellify armada.; int6 & int8 -> int9: the fact that the lactase is both not valent and not fiducial is not correct.; int5 & int9 -> int10: the lactase is fiducial.; int4 & int10 -> int11: the lactase is not a waterpower.; int11 -> int12: there exists something such that it is not a waterpower.; int12 & sent16 -> int13: the cochin does not preempt rendition and is not Singhalese.; int13 -> int14: there exists something such that it does not preempt rendition and it is not Singhalese.;
$hypothesis$ = the cochin is a waterpower if the matricide does preempt rendition. ; $context$ = sent1: the matricide is a waterpower if the cochin preempts rendition. sent2: if something does preempt rendition then the fact that it is not Singhalese is not incorrect. sent3: that the fact that something is not valent and is not fiducial hold is false if it does not jellify armada. sent4: that the cochin is not the baud if the cochin does preempt rendition hold. sent5: the cochin does not preempt rendition. sent6: if the cochin is Singhalese then the matricide is a kind of a baud. sent7: the fact that if the cornu does jellify armada and does not exceed Anomalopidae the fact that the lactase does not jellify armada is true is true. sent8: the cochin preempts rendition if that the matricide is a waterpower is not false. sent9: if something is fiducial then it is not a waterpower. sent10: a baud is a waterpower. sent11: that if the fact that something is a kind of non-valent thing that is not fiducial is not true then it is fiducial is not incorrect. sent12: if something is uvular then that it is not imperceptible is incorrect. sent13: the cornu is not bromic. sent14: the matricide is a waterpower if the cochin is Singhalese. sent15: if the matricide is a baud it is not Singhalese. sent16: the cochin does not preempt rendition and it is not Singhalese if there exists something such that it is not a waterpower. sent17: the cornu does jellify armada and does not exceed Anomalopidae if it is not bromic. sent18: the crotonbug is a baud. ; $proof$ = 
sent2 -> int1: if the matricide preempts rendition it is not Singhalese.; void -> assump1: Let's assume that the matricide preempts rendition.; int1 & assump1 -> int2: the matricide is not Singhalese.; sent10 -> int3: the cochin is a waterpower if it is a kind of a baud.; __UNKNOWN__