the Chinese is not a Frenchman.
sent1: something relates. sent2: the fact that the imprint is not tractive and it does not bank Sigmodon does not hold if the pignut is tractive. sent3: the pignut is tractive if it suggests lyricism. sent4: if the feminist is not axiomatic the Chinese is a Frenchman. sent5: the pignut does suggest JV and does suggest lyricism if something relates. sent6: if the fact that that the imprint is non-tractive thing that does not bank Sigmodon is wrong is not false the feminist is not axiomatic. sent7: if the pignut is axiomatic then the fact that the feminist is not axiomatic and is not tractive is false. sent8: the imprint suggests JV if the pignut does not suggests JV. sent9: if the feminist is tractive then the fact that the pignut does not suggest lyricism is not incorrect.
sent1 & sent5 -> int1: the pignut suggests JV and it does suggest lyricism.; int1 -> int2: the fact that the pignut suggests lyricism is correct.; int2 & sent3 -> int3: the fact that the pignut is tractive is true.; int3 & sent2 -> int4: that the imprint is not tractive and does not bank Sigmodon is false.; int4 & sent6 -> int5: the feminist is not axiomatic.; int5 & sent4 -> hypothesis;
the imprint does suggest JV.
$hypothesis$ = the Chinese is not a Frenchman. ; $context$ = sent1: something relates. sent2: the fact that the imprint is not tractive and it does not bank Sigmodon does not hold if the pignut is tractive. sent3: the pignut is tractive if it suggests lyricism. sent4: if the feminist is not axiomatic the Chinese is a Frenchman. sent5: the pignut does suggest JV and does suggest lyricism if something relates. sent6: if the fact that that the imprint is non-tractive thing that does not bank Sigmodon is wrong is not false the feminist is not axiomatic. sent7: if the pignut is axiomatic then the fact that the feminist is not axiomatic and is not tractive is false. sent8: the imprint suggests JV if the pignut does not suggests JV. sent9: if the feminist is tractive then the fact that the pignut does not suggest lyricism is not incorrect. ; $proof$ = 
sent1 & sent5 -> int1: the pignut suggests JV and it does suggest lyricism.; int1 -> int2: the fact that the pignut suggests lyricism is correct.; int2 & sent3 -> int3: the fact that the pignut is tractive is true.; int3 & sent2 -> int4: that the imprint is not tractive and does not bank Sigmodon is false.; int4 & sent6 -> int5: the feminist is not axiomatic.; int5 & sent4 -> hypothesis; __DISPROVED__