the admirer is wheaten.
sent1: the sifter is not a kind of a Ishmael. sent2: the committeewoman is a Cherbourg if the sifter does not desexualize thistle. sent3: the committeewoman does desexualize thistle and it is a Elaeocarpus. sent4: the sifter is a Cherbourg if the smuggler is a Cherbourg. sent5: the admirer is a decorator if the fact that the sifter is wheaten but not a decorator is false. sent6: the fact that the committeewoman desexualizes thistle and medicates shoot-down does not hold. sent7: if the sifter is a decorator that is a Cherbourg then it is not a Luce. sent8: the sifter is wheaten. sent9: the sifter is a Cherbourg if there is something such that the fact that it is a raja and it is a Luce does not hold. sent10: the smuggler is not a decorator. sent11: that the smuggler does medicate shoot-down is true if that the committeewoman is a Cherbourg but it does not medicate shoot-down is not true. sent12: if there exists something such that it is a kind of a raja then the fact that the smuggler is not a Luce and detrains is not true. sent13: the sifter is a Cherbourg if the fact that the smuggler is a Elaeocarpus but it is not a kind of a Cherbourg is incorrect. sent14: there exists something such that it is a raja. sent15: that the smuggler is a kind of a raja and it is a Cherbourg is incorrect. sent16: that the sifter is a Luce and it is a raja is not wrong if it is not wheaten. sent17: the sifter is a decorator if there is something such that that it desexualizes thistle and it does medicate shoot-down does not hold. sent18: the admirer is wheaten if the sifter is a kind of a raja but it is not a kind of a Luce. sent19: something is a kind of a Luce if the fact that that it is not a Luce and it does detrain is not false does not hold. sent20: the smuggler does medicate shoot-down. sent21: there exists nothing such that it is a Elaeocarpus but not a Cherbourg. sent22: the sifter is a raja.
sent6 -> int1: there exists something such that the fact that it desexualizes thistle and medicates shoot-down does not hold.; int1 & sent17 -> int2: the sifter is a decorator.; sent21 -> int3: the fact that the smuggler is a Elaeocarpus but it is not a kind of a Cherbourg is wrong.; sent13 & int3 -> int4: the sifter is a kind of a Cherbourg.; int2 & int4 -> int5: the sifter is a decorator and it is a Cherbourg.; int5 & sent7 -> int6: the sifter is not a Luce.; int6 & sent22 -> int7: the sifter is a raja but it is not a Luce.; int7 & sent18 -> hypothesis;
the swift is not a kind of a undershrub.
$hypothesis$ = the admirer is wheaten. ; $context$ = sent1: the sifter is not a kind of a Ishmael. sent2: the committeewoman is a Cherbourg if the sifter does not desexualize thistle. sent3: the committeewoman does desexualize thistle and it is a Elaeocarpus. sent4: the sifter is a Cherbourg if the smuggler is a Cherbourg. sent5: the admirer is a decorator if the fact that the sifter is wheaten but not a decorator is false. sent6: the fact that the committeewoman desexualizes thistle and medicates shoot-down does not hold. sent7: if the sifter is a decorator that is a Cherbourg then it is not a Luce. sent8: the sifter is wheaten. sent9: the sifter is a Cherbourg if there is something such that the fact that it is a raja and it is a Luce does not hold. sent10: the smuggler is not a decorator. sent11: that the smuggler does medicate shoot-down is true if that the committeewoman is a Cherbourg but it does not medicate shoot-down is not true. sent12: if there exists something such that it is a kind of a raja then the fact that the smuggler is not a Luce and detrains is not true. sent13: the sifter is a Cherbourg if the fact that the smuggler is a Elaeocarpus but it is not a kind of a Cherbourg is incorrect. sent14: there exists something such that it is a raja. sent15: that the smuggler is a kind of a raja and it is a Cherbourg is incorrect. sent16: that the sifter is a Luce and it is a raja is not wrong if it is not wheaten. sent17: the sifter is a decorator if there is something such that that it desexualizes thistle and it does medicate shoot-down does not hold. sent18: the admirer is wheaten if the sifter is a kind of a raja but it is not a kind of a Luce. sent19: something is a kind of a Luce if the fact that that it is not a Luce and it does detrain is not false does not hold. sent20: the smuggler does medicate shoot-down. sent21: there exists nothing such that it is a Elaeocarpus but not a Cherbourg. sent22: the sifter is a raja. ; $proof$ = 
sent6 -> int1: there exists something such that the fact that it desexualizes thistle and medicates shoot-down does not hold.; int1 & sent17 -> int2: the sifter is a decorator.; sent21 -> int3: the fact that the smuggler is a Elaeocarpus but it is not a kind of a Cherbourg is wrong.; sent13 & int3 -> int4: the sifter is a kind of a Cherbourg.; int2 & int4 -> int5: the sifter is a decorator and it is a Cherbourg.; int5 & sent7 -> int6: the sifter is not a Luce.; int6 & sent22 -> int7: the sifter is a raja but it is not a Luce.; int7 & sent18 -> hypothesis; __PROVED__