the fact that the statesman is not a equilibration and it is not a kind of a menthol is false.
sent1: something is not an espresso if that it does not grit and it is not a kind of a remittance does not hold. sent2: the actor does not uncoil Mastigophora but it is a kind of a stair-rod if there exists something such that it is not an espresso. sent3: the statesman does not harangue chanfron if something that does not uncoil Mastigophora is a stair-rod. sent4: if the fact that the statesman does not harangue chanfron is correct then that the fact that it is not a equilibration and is a kind of a menthol is not wrong is false. sent5: the paintball is ultramicroscopic. sent6: if something is ultramicroscopic it is not a equilibration and it is not a kind of a menthol. sent7: if the paintball is ultramicroscopic that it does not grit and it is not a remittance does not hold.
sent7 & sent5 -> int1: that the paintball is not a grit and it is not a remittance is not true.; sent1 -> int2: the paintball is not an espresso if the fact that it is not a grit and not a remittance is false.; int1 & int2 -> int3: the paintball is not an espresso.; int3 -> int4: there exists something such that the fact that it is not an espresso is not false.; int4 & sent2 -> int5: the actor does not uncoil Mastigophora and is a stair-rod.; int5 -> int6: something does not uncoil Mastigophora and is a stair-rod.; int6 & sent3 -> int7: the statesman does not harangue chanfron.;
that the statesman is not a equilibration and it is not a menthol is not wrong.
sent6 -> int8: if the statesman is ultramicroscopic then it is not a equilibration and it is not a menthol.;
$hypothesis$ = the fact that the statesman is not a equilibration and it is not a kind of a menthol is false. ; $context$ = sent1: something is not an espresso if that it does not grit and it is not a kind of a remittance does not hold. sent2: the actor does not uncoil Mastigophora but it is a kind of a stair-rod if there exists something such that it is not an espresso. sent3: the statesman does not harangue chanfron if something that does not uncoil Mastigophora is a stair-rod. sent4: if the fact that the statesman does not harangue chanfron is correct then that the fact that it is not a equilibration and is a kind of a menthol is not wrong is false. sent5: the paintball is ultramicroscopic. sent6: if something is ultramicroscopic it is not a equilibration and it is not a kind of a menthol. sent7: if the paintball is ultramicroscopic that it does not grit and it is not a remittance does not hold. ; $proof$ = 
sent7 & sent5 -> int1: that the paintball is not a grit and it is not a remittance is not true.; sent1 -> int2: the paintball is not an espresso if the fact that it is not a grit and not a remittance is false.; int1 & int2 -> int3: the paintball is not an espresso.; int3 -> int4: there exists something such that the fact that it is not an espresso is not false.; int4 & sent2 -> int5: the actor does not uncoil Mastigophora and is a stair-rod.; int5 -> int6: something does not uncoil Mastigophora and is a stair-rod.; int6 & sent3 -> int7: the statesman does not harangue chanfron.; __UNKNOWN__