the yokel is not a Smolensk.
sent1: the goldfields is not postal or it is not a saurian or both if it is a steep. sent2: the Orpington steeps if it is not a saurian and it is not a kind of a street. sent3: there is something such that it is a saurian and is a street. sent4: The exocrine studs goldfields. sent5: if the kitchen is not non-saurian then the Orpington is a street. sent6: there exists something such that it is not non-postal. sent7: if the goldfields is allantoic the Orpington is a saurian. sent8: The mycophagy does not stud kitchen. sent9: if something is a kind of a street it steeps. sent10: if the Orpington studs mycophagy the goldfields is steep. sent11: if the Orpington is a saurian then the kitchen is postal. sent12: something is a kind of a street if it is not a ununtrium and does not stud mycophagy. sent13: the goldfields studs exocrine. sent14: if there are postal and steep things then the yokel is a Smolensk. sent15: the kitchen does not stud mycophagy. sent16: if the Orpington is a street the fact that the goldfields steeps is not incorrect. sent17: the Orpington is not a Smolensk. sent18: the kitchen is not a ununtrium. sent19: the fact that something is allantoic and studs exocrine does not hold if it is not a saurian. sent20: there exists something such that it is steep. sent21: the goldfields is allantoic if it does stud exocrine.
sent21 & sent13 -> int1: the goldfields is allantoic.; int1 & sent7 -> int2: the Orpington is a saurian.; int2 & sent11 -> int3: the kitchen is postal.; sent9 -> int4: if the kitchen is a street then it steeps.; sent12 -> int5: if the kitchen is not a ununtrium and it does not stud mycophagy then that it is a street is not false.; sent18 & sent15 -> int6: the kitchen is not a kind of a ununtrium and does not stud mycophagy.; int5 & int6 -> int7: that the kitchen is a kind of a street is right.; int4 & int7 -> int8: the kitchen is a steep.; int3 & int8 -> int9: the kitchen is postal and it is a kind of a steep.; int9 -> int10: there is something such that it is a kind of postal thing that is a steep.; int10 & sent14 -> hypothesis;
the yokel is not a Smolensk.
sent19 -> int11: the fact that the fact that the fact that the goldfields is allantoic thing that studs exocrine is correct is not true if the goldfields is not saurian hold.;
$hypothesis$ = the yokel is not a Smolensk. ; $context$ = sent1: the goldfields is not postal or it is not a saurian or both if it is a steep. sent2: the Orpington steeps if it is not a saurian and it is not a kind of a street. sent3: there is something such that it is a saurian and is a street. sent4: The exocrine studs goldfields. sent5: if the kitchen is not non-saurian then the Orpington is a street. sent6: there exists something such that it is not non-postal. sent7: if the goldfields is allantoic the Orpington is a saurian. sent8: The mycophagy does not stud kitchen. sent9: if something is a kind of a street it steeps. sent10: if the Orpington studs mycophagy the goldfields is steep. sent11: if the Orpington is a saurian then the kitchen is postal. sent12: something is a kind of a street if it is not a ununtrium and does not stud mycophagy. sent13: the goldfields studs exocrine. sent14: if there are postal and steep things then the yokel is a Smolensk. sent15: the kitchen does not stud mycophagy. sent16: if the Orpington is a street the fact that the goldfields steeps is not incorrect. sent17: the Orpington is not a Smolensk. sent18: the kitchen is not a ununtrium. sent19: the fact that something is allantoic and studs exocrine does not hold if it is not a saurian. sent20: there exists something such that it is steep. sent21: the goldfields is allantoic if it does stud exocrine. ; $proof$ = 
sent21 & sent13 -> int1: the goldfields is allantoic.; int1 & sent7 -> int2: the Orpington is a saurian.; int2 & sent11 -> int3: the kitchen is postal.; sent9 -> int4: if the kitchen is a street then it steeps.; sent12 -> int5: if the kitchen is not a ununtrium and it does not stud mycophagy then that it is a street is not false.; sent18 & sent15 -> int6: the kitchen is not a kind of a ununtrium and does not stud mycophagy.; int5 & int6 -> int7: that the kitchen is a kind of a street is right.; int4 & int7 -> int8: the kitchen is a steep.; int3 & int8 -> int9: the kitchen is postal and it is a kind of a steep.; int9 -> int10: there is something such that it is a kind of postal thing that is a steep.; int10 & sent14 -> hypothesis; __DISPROVED__