the internationalist is a Melanoplus.
sent1: something is not a Melanoplus if that it is not foreleg but a Melanoplus is not true. sent2: the fact that the statistician is not basidial but it is a knitting is not right if it is not pectineal. sent3: the shedding is not a Melanoplus if it is not a knitting or it is pectineal or both. sent4: the statistician either is canonic or is not a kind of an itch or both if the fact that it juliennes tickle is correct. sent5: something is not pectineal if it is canonic and/or it is not an itch. sent6: the kolkhoznik does not bus if the internationalist is basidial but it is not a bus. sent7: if something is not foreleg it is not basidial and is a kind of a Melanoplus. sent8: something is ascomycetous and is a associability. sent9: the statistician juliennes tickle if there is something such that it is ascomycetous a associability. sent10: the jiggermast does bus.
sent10 -> int1: there exists something such that it is a bus.; sent7 -> int2: if the internationalist is not foreleg then it is both not basidial and a Melanoplus.;
the kolkhoznik does not bus.
$hypothesis$ = the internationalist is a Melanoplus. ; $context$ = sent1: something is not a Melanoplus if that it is not foreleg but a Melanoplus is not true. sent2: the fact that the statistician is not basidial but it is a knitting is not right if it is not pectineal. sent3: the shedding is not a Melanoplus if it is not a knitting or it is pectineal or both. sent4: the statistician either is canonic or is not a kind of an itch or both if the fact that it juliennes tickle is correct. sent5: something is not pectineal if it is canonic and/or it is not an itch. sent6: the kolkhoznik does not bus if the internationalist is basidial but it is not a bus. sent7: if something is not foreleg it is not basidial and is a kind of a Melanoplus. sent8: something is ascomycetous and is a associability. sent9: the statistician juliennes tickle if there is something such that it is ascomycetous a associability. sent10: the jiggermast does bus. ; $proof$ = 
sent10 -> int1: there exists something such that it is a bus.; sent7 -> int2: if the internationalist is not foreleg then it is both not basidial and a Melanoplus.; __UNKNOWN__