the commuter is an aphrodisiac.
sent1: the commuter either is not aphrodisiac or is moonlit or both if the wandflower is a passive. sent2: there exists something such that it is not a kind of a passive. sent3: if there exists something such that it is a passive that does discourage the sharpener is nonproprietary. sent4: there exists something such that it is moonlit. sent5: the sharpener is a kind of a sixteenth if something that is not a Tharp is nonproprietary. sent6: something is not a demander if it is either a sixteenth or nonproprietary or both. sent7: if the fact that something is a kind of non-passive thing that does discourage is right then the sharpener is nonproprietary. sent8: if there are passive things the brass does not descry glebe. sent9: if the sharpener is a sixteenth the wandflower does not discourage and is not proprietary. sent10: something is not unseamanlike. sent11: something is ossiferous. sent12: the wandflower is not a kind of a passive but it discourages if there are moonlit things. sent13: the commuter is a Tharp. sent14: something is a kind of a demander. sent15: there exists something such that it is not a kind of a passive and it is a Tharp. sent16: if the sharpener is calendric and/or it is a kind of a Gujarati then it does not exclude. sent17: the dioon is a kind of a demander. sent18: something is non-aphrodisiac if it either is not non-aphrodisiac or is moonlit or both. sent19: if something is not unseamanlike then the dioon is a kind of a Tharp that disembowels leaf-roller. sent20: if there is something such that it is not a kind of a demander then that the commuter is both a Tharp and an aphrodisiac hold. sent21: that the sharpener is a Tharp is not false if there exists something such that it is not a kind of a passive and it is a kind of a sixteenth.
sent4 & sent12 -> int1: the fact that the wandflower is a kind of non-passive thing that does discourage is true.; int1 -> int2: something is non-passive and does discourage.; int2 & sent7 -> int3: the sharpener is nonproprietary.; int3 -> int4: the sharpener is either a sixteenth or not proprietary or both.; sent6 -> int5: the fact that the sharpener is not a demander is true if it is a sixteenth and/or it is nonproprietary.; int4 & int5 -> int6: the sharpener is not a demander.; int6 -> int7: there exists something such that it is not a demander.; int7 & sent20 -> int8: the fact that the commuter is a Tharp and is an aphrodisiac is not wrong.; int8 -> hypothesis;
the commuter is non-aphrodisiac.
sent18 -> int9: the commuter is not an aphrodisiac if it is not aphrodisiac or not non-moonlit or both.; sent10 & sent19 -> int10: the dioon is a Tharp and it does disembowel leaf-roller.; int10 -> int11: the fact that the dioon is a Tharp is not incorrect.; int11 & sent17 -> int12: the dioon is both a Tharp and a demander.; int12 -> int13: that something is a Tharp and a demander hold.;
$hypothesis$ = the commuter is an aphrodisiac. ; $context$ = sent1: the commuter either is not aphrodisiac or is moonlit or both if the wandflower is a passive. sent2: there exists something such that it is not a kind of a passive. sent3: if there exists something such that it is a passive that does discourage the sharpener is nonproprietary. sent4: there exists something such that it is moonlit. sent5: the sharpener is a kind of a sixteenth if something that is not a Tharp is nonproprietary. sent6: something is not a demander if it is either a sixteenth or nonproprietary or both. sent7: if the fact that something is a kind of non-passive thing that does discourage is right then the sharpener is nonproprietary. sent8: if there are passive things the brass does not descry glebe. sent9: if the sharpener is a sixteenth the wandflower does not discourage and is not proprietary. sent10: something is not unseamanlike. sent11: something is ossiferous. sent12: the wandflower is not a kind of a passive but it discourages if there are moonlit things. sent13: the commuter is a Tharp. sent14: something is a kind of a demander. sent15: there exists something such that it is not a kind of a passive and it is a Tharp. sent16: if the sharpener is calendric and/or it is a kind of a Gujarati then it does not exclude. sent17: the dioon is a kind of a demander. sent18: something is non-aphrodisiac if it either is not non-aphrodisiac or is moonlit or both. sent19: if something is not unseamanlike then the dioon is a kind of a Tharp that disembowels leaf-roller. sent20: if there is something such that it is not a kind of a demander then that the commuter is both a Tharp and an aphrodisiac hold. sent21: that the sharpener is a Tharp is not false if there exists something such that it is not a kind of a passive and it is a kind of a sixteenth. ; $proof$ = 
sent4 & sent12 -> int1: the fact that the wandflower is a kind of non-passive thing that does discourage is true.; int1 -> int2: something is non-passive and does discourage.; int2 & sent7 -> int3: the sharpener is nonproprietary.; int3 -> int4: the sharpener is either a sixteenth or not proprietary or both.; sent6 -> int5: the fact that the sharpener is not a demander is true if it is a sixteenth and/or it is nonproprietary.; int4 & int5 -> int6: the sharpener is not a demander.; int6 -> int7: there exists something such that it is not a demander.; int7 & sent20 -> int8: the fact that the commuter is a Tharp and is an aphrodisiac is not wrong.; int8 -> hypothesis; __PROVED__