the Tutsi does not trundle Tree and does trundle crossbar.
sent1: the Tutsi trundles crossbar. sent2: if there is something such that it does not trundle hao then the Tutsi trundles crossbar. sent3: The Tutsi trundles pillory. sent4: if the fact that something is not a kind of a Mauritanian but it is an astronomer is incorrect it does not rerun pillory. sent5: if the fact that something does not trundle Tutsi but it is inauspicious does not hold it is not a kind of a commonalty. sent6: if there is something such that it does not trundle hao then the Tutsi does not trundle Tree but it does trundle crossbar. sent7: there is something such that it trundles hao. sent8: there exists nothing such that it is not a Mauritanian but an astronomer. sent9: the pillory trundles Tutsi. sent10: the pillory does not rerun pillory if it is Mauritanian. sent11: the fireclay does not trundle crossbar if that the fact that it trundle crossbar and trundles Tutsi hold is not correct.
sent4 -> int1: if that the pillory is not a kind of a Mauritanian but it is an astronomer is false it does not rerun pillory.; sent8 -> int2: the fact that the pillory is a kind of non-Mauritanian an astronomer does not hold.; int1 & int2 -> int3: the pillory does not rerun pillory.; int3 & sent9 -> int4: the pillory does not rerun pillory but it does trundle Tutsi.;
the pillory is not a commonalty if that it does not trundle Tutsi and is inauspicious does not hold.
sent5 -> hypothesis;
$hypothesis$ = the Tutsi does not trundle Tree and does trundle crossbar. ; $context$ = sent1: the Tutsi trundles crossbar. sent2: if there is something such that it does not trundle hao then the Tutsi trundles crossbar. sent3: The Tutsi trundles pillory. sent4: if the fact that something is not a kind of a Mauritanian but it is an astronomer is incorrect it does not rerun pillory. sent5: if the fact that something does not trundle Tutsi but it is inauspicious does not hold it is not a kind of a commonalty. sent6: if there is something such that it does not trundle hao then the Tutsi does not trundle Tree but it does trundle crossbar. sent7: there is something such that it trundles hao. sent8: there exists nothing such that it is not a Mauritanian but an astronomer. sent9: the pillory trundles Tutsi. sent10: the pillory does not rerun pillory if it is Mauritanian. sent11: the fireclay does not trundle crossbar if that the fact that it trundle crossbar and trundles Tutsi hold is not correct. ; $proof$ = 
sent4 -> int1: if that the pillory is not a kind of a Mauritanian but it is an astronomer is false it does not rerun pillory.; sent8 -> int2: the fact that the pillory is a kind of non-Mauritanian an astronomer does not hold.; int1 & int2 -> int3: the pillory does not rerun pillory.; int3 & sent9 -> int4: the pillory does not rerun pillory but it does trundle Tutsi.; __UNKNOWN__