the wheeler does shaft.
sent1: the fact that the dungeon is a shaft hold if the fact that it is a dewberry is true. sent2: the fact that the dungeon does repair BASIC and it is a kind of a cloud is not right. sent3: the dungeon is Dionysian. sent4: if something is benign it gladdens bilaterality. sent5: that the dungeon does fear Romanov is right. sent6: if the dungeon repairs BASIC it is a Phocoena. sent7: the wheeler is a shaft if the sangapenum is a kind of a dewberry and/or it is not a kind of a rap. sent8: the sangapenum is a kind of a dewberry and/or it does not rap if the dungeon is not a dewberry. sent9: the fact that the wheeler is a cloud is correct. sent10: That the Romanov does fear dungeon is right. sent11: the fact that the sangapenum either does gladden bilaterality or does not gladden Cephalotus or both does not hold if there exists something such that it is not a kind of a dewberry. sent12: the wheeler is oleophobic or it does not repair permissiveness or both. sent13: if the sangapenum is not a rap the wheeler shafts. sent14: the sangapenum is a dewberry and/or it is a rap if the dungeon is not a kind of a dewberry. sent15: the Ultrasuede does not fear Romanov and is not a kind of a rap if the mentum does pitch nepotism. sent16: if the dungeon fears Romanov it does gladden Cephalotus. sent17: the sangapenum is a cloud if it does rap. sent18: the sangapenum is a Phocoena and is not benign if it does not gladden bilaterality. sent19: the mentum does repair immunopathology. sent20: the mentum pitches nepotism if it repairs immunopathology. sent21: if the dungeon is a Phocoena then it is benign. sent22: the sangapenum is a dewberry and/or raps. sent23: the doorstop is not a dewberry if the Ultrasuede does not fear Romanov and is not a rap. sent24: the dungeon is a Phocoena if that it does not repair BASIC and is a kind of a cloud does not hold. sent25: the fact that the dungeon does not repair BASIC and clouds is false. sent26: if something does repair BASIC then it is a kind of a dewberry.
sent24 & sent25 -> int1: the dungeon is a Phocoena.; int1 & sent21 -> int2: the dungeon is not non-benign.; sent4 -> int3: the dungeon does gladden bilaterality if it is benign.; int2 & int3 -> int4: the dungeon does gladden bilaterality.; sent16 & sent5 -> int5: the dungeon does gladden Cephalotus.; int4 & int5 -> int6: the dungeon gladdens bilaterality and does gladden Cephalotus.;
that the wheeler is not a shaft is not false.
sent20 & sent19 -> int7: the mentum pitches nepotism.; sent15 & int7 -> int8: the Ultrasuede does not fear Romanov and it is not a rap.; sent23 & int8 -> int9: the doorstop is not a dewberry.; int9 -> int10: there is something such that the fact that it is not a kind of a dewberry is not incorrect.; int10 & sent11 -> int11: the fact that the sangapenum gladdens bilaterality and/or it does not gladden Cephalotus is not correct.; int11 -> int12: there exists something such that the fact that it does gladden bilaterality or it does not gladden Cephalotus or both does not hold.;
$hypothesis$ = the wheeler does shaft. ; $context$ = sent1: the fact that the dungeon is a shaft hold if the fact that it is a dewberry is true. sent2: the fact that the dungeon does repair BASIC and it is a kind of a cloud is not right. sent3: the dungeon is Dionysian. sent4: if something is benign it gladdens bilaterality. sent5: that the dungeon does fear Romanov is right. sent6: if the dungeon repairs BASIC it is a Phocoena. sent7: the wheeler is a shaft if the sangapenum is a kind of a dewberry and/or it is not a kind of a rap. sent8: the sangapenum is a kind of a dewberry and/or it does not rap if the dungeon is not a dewberry. sent9: the fact that the wheeler is a cloud is correct. sent10: That the Romanov does fear dungeon is right. sent11: the fact that the sangapenum either does gladden bilaterality or does not gladden Cephalotus or both does not hold if there exists something such that it is not a kind of a dewberry. sent12: the wheeler is oleophobic or it does not repair permissiveness or both. sent13: if the sangapenum is not a rap the wheeler shafts. sent14: the sangapenum is a dewberry and/or it is a rap if the dungeon is not a kind of a dewberry. sent15: the Ultrasuede does not fear Romanov and is not a kind of a rap if the mentum does pitch nepotism. sent16: if the dungeon fears Romanov it does gladden Cephalotus. sent17: the sangapenum is a cloud if it does rap. sent18: the sangapenum is a Phocoena and is not benign if it does not gladden bilaterality. sent19: the mentum does repair immunopathology. sent20: the mentum pitches nepotism if it repairs immunopathology. sent21: if the dungeon is a Phocoena then it is benign. sent22: the sangapenum is a dewberry and/or raps. sent23: the doorstop is not a dewberry if the Ultrasuede does not fear Romanov and is not a rap. sent24: the dungeon is a Phocoena if that it does not repair BASIC and is a kind of a cloud does not hold. sent25: the fact that the dungeon does not repair BASIC and clouds is false. sent26: if something does repair BASIC then it is a kind of a dewberry. ; $proof$ = 
sent24 & sent25 -> int1: the dungeon is a Phocoena.; int1 & sent21 -> int2: the dungeon is not non-benign.; sent4 -> int3: the dungeon does gladden bilaterality if it is benign.; int2 & int3 -> int4: the dungeon does gladden bilaterality.; sent16 & sent5 -> int5: the dungeon does gladden Cephalotus.; int4 & int5 -> int6: the dungeon gladdens bilaterality and does gladden Cephalotus.; __UNKNOWN__