the poliovirus does graft.
sent1: there exists something such that that it is a self-assertion and is a gearshift is not correct. sent2: the fact that the noncom is not a kind of a graft but it is a Bighorn does not hold. sent3: if something is a kind of a Hyperoglyphe then that it is not a self-assertion and it is a kind of a gearshift is false. sent4: the noncom is a hollowware. sent5: that the noncom is both a self-assertion and a gearshift does not hold if the fact that it is a kind of a Hyperoglyphe is correct. sent6: the poliovirus does graft if there exists something such that the fact that it is not a self-assertion and is a gearshift does not hold. sent7: that something is not a hollowware and/or it is not a Hyperoglyphe is false if it is not a gearshift. sent8: that that the noncom is a self-assertion and a gearshift hold is wrong.
sent3 -> int1: the fact that that the noncom is not a self-assertion but it is a gearshift is wrong is not wrong if it is a Hyperoglyphe.;
the poliovirus is not a graft.
sent7 -> int2: the fact that the cerebrum is not a kind of a hollowware and/or is not a Hyperoglyphe does not hold if it is not a gearshift.;
$hypothesis$ = the poliovirus does graft. ; $context$ = sent1: there exists something such that that it is a self-assertion and is a gearshift is not correct. sent2: the fact that the noncom is not a kind of a graft but it is a Bighorn does not hold. sent3: if something is a kind of a Hyperoglyphe then that it is not a self-assertion and it is a kind of a gearshift is false. sent4: the noncom is a hollowware. sent5: that the noncom is both a self-assertion and a gearshift does not hold if the fact that it is a kind of a Hyperoglyphe is correct. sent6: the poliovirus does graft if there exists something such that the fact that it is not a self-assertion and is a gearshift does not hold. sent7: that something is not a hollowware and/or it is not a Hyperoglyphe is false if it is not a gearshift. sent8: that that the noncom is a self-assertion and a gearshift hold is wrong. ; $proof$ = 
sent3 -> int1: the fact that that the noncom is not a self-assertion but it is a gearshift is wrong is not wrong if it is a Hyperoglyphe.; __UNKNOWN__