something is not questionable.
sent1: something is a kind of a dialectics if it does not prop Gathic. sent2: the fact that the oilstove is not dialectics but it yearns is false if it is not a short-stop. sent3: the oilstove is not a dialectics if the advancer is a kind of a metarule and is Gaussian. sent4: if the oilstove is not mortal then that it does not bowl in-basket and does prop Gathic is wrong. sent5: that the psycholinguist bowls in-basket hold if either something is not Gaussian or it is a metarule or both. sent6: the advancer is Gaussian. sent7: that the ma is mortal is not wrong. sent8: if the oilstove does not prop Gathic it is a dialectics. sent9: if the oilstove is a kind of a short-stop the advancer yearns and is not dialectics. sent10: something is not questionable if it yearns and it is not a short-stop. sent11: if the ma is questionable then the fact that the cefoperazone does not prop Gathic and it is not a kind of a short-stop does not hold. sent12: if something that does yearn is not dialectics it is not Gaussian. sent13: if that something does not bowl in-basket but it props Gathic is not true it is a kind of a dialectics. sent14: if the cefoperazone is a kind of a short-stop that is not a dialectics the fact that it is not questionable is correct. sent15: if the advancer is not a metarule the cefoperazone does yearn and is not a short-stop. sent16: if the cefoperazone yearns and it is a kind of a short-stop the fact that it is not questionable is correct. sent17: something is questionable if it is mortal. sent18: if something yearns and it is a short-stop it is not questionable. sent19: that the oilstove is not mortal is right. sent20: something is questionable.
void -> assump1: Let's assume that the advancer is a metarule.; assump1 & sent6 -> int1: the advancer is a metarule that is Gaussian.; int1 & sent3 -> int2: the oilstove is not a dialectics.; sent13 -> int3: if the fact that the oilstove does not bowl in-basket but it props Gathic is false then it is a dialectics.; sent4 & sent19 -> int4: that the oilstove does not bowl in-basket but it props Gathic does not hold.; int3 & int4 -> int5: the oilstove is a dialectics.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the advancer is not a kind of a metarule is true.; int7 & sent15 -> int8: the cefoperazone does yearn and is not a short-stop.; sent10 -> int9: if the cefoperazone does yearn and is not a short-stop it is not questionable.; int8 & int9 -> int10: that the cefoperazone is not questionable is correct.; int10 -> hypothesis;
the psycholinguist does bowl in-basket.
sent12 -> int11: if the advancer yearns but it is not a dialectics then it is not Gaussian.; sent17 -> int12: that the ma is questionable is not false if it is mortal.; int12 & sent7 -> int13: the ma is questionable.; sent11 & int13 -> int14: that the cefoperazone does not prop Gathic and it is not a short-stop is incorrect.; int14 -> int15: there is something such that that it does not prop Gathic and is not a short-stop is incorrect.;
$hypothesis$ = something is not questionable. ; $context$ = sent1: something is a kind of a dialectics if it does not prop Gathic. sent2: the fact that the oilstove is not dialectics but it yearns is false if it is not a short-stop. sent3: the oilstove is not a dialectics if the advancer is a kind of a metarule and is Gaussian. sent4: if the oilstove is not mortal then that it does not bowl in-basket and does prop Gathic is wrong. sent5: that the psycholinguist bowls in-basket hold if either something is not Gaussian or it is a metarule or both. sent6: the advancer is Gaussian. sent7: that the ma is mortal is not wrong. sent8: if the oilstove does not prop Gathic it is a dialectics. sent9: if the oilstove is a kind of a short-stop the advancer yearns and is not dialectics. sent10: something is not questionable if it yearns and it is not a short-stop. sent11: if the ma is questionable then the fact that the cefoperazone does not prop Gathic and it is not a kind of a short-stop does not hold. sent12: if something that does yearn is not dialectics it is not Gaussian. sent13: if that something does not bowl in-basket but it props Gathic is not true it is a kind of a dialectics. sent14: if the cefoperazone is a kind of a short-stop that is not a dialectics the fact that it is not questionable is correct. sent15: if the advancer is not a metarule the cefoperazone does yearn and is not a short-stop. sent16: if the cefoperazone yearns and it is a kind of a short-stop the fact that it is not questionable is correct. sent17: something is questionable if it is mortal. sent18: if something yearns and it is a short-stop it is not questionable. sent19: that the oilstove is not mortal is right. sent20: something is questionable. ; $proof$ = 
void -> assump1: Let's assume that the advancer is a metarule.; assump1 & sent6 -> int1: the advancer is a metarule that is Gaussian.; int1 & sent3 -> int2: the oilstove is not a dialectics.; sent13 -> int3: if the fact that the oilstove does not bowl in-basket but it props Gathic is false then it is a dialectics.; sent4 & sent19 -> int4: that the oilstove does not bowl in-basket but it props Gathic does not hold.; int3 & int4 -> int5: the oilstove is a dialectics.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the advancer is not a kind of a metarule is true.; int7 & sent15 -> int8: the cefoperazone does yearn and is not a short-stop.; sent10 -> int9: if the cefoperazone does yearn and is not a short-stop it is not questionable.; int8 & int9 -> int10: that the cefoperazone is not questionable is correct.; int10 -> hypothesis; __PROVED__