the gristmill is a burl.
sent1: that that the wheatworm is high-tension thing that is a Romance is not false is not true. sent2: if something is not a kind of a side then it is not a profanity. sent3: the gristmill is a kind of a Arjuna and it is chromatinic. sent4: the gristmill is not a Romance if it is high-tension and it does burl. sent5: something is a Arjuna but it is not saprobic if it is not side. sent6: there is something such that the fact that it is not a kind of an acoustics and it is not chromatinic does not hold. sent7: if the fact that the camber is not a kind of a profanity is not false then the fact that the wheatworm is a glossalgia but it does not burl does not hold. sent8: the wheatworm is a burl but it is not a profanity if it is not a side. sent9: if something is a Arjuna but it is not saprobic it is not a burl. sent10: the fact that the fact that the anecdotist is not an acoustics but it is chromatinic hold is wrong. sent11: something that is not a kind of a side is a profanity and/or a glossalgia. sent12: if the opposition is not a side and it is not saprobic the camber is not side. sent13: something either is not a side or is a Arjuna or both if it is not saprobic. sent14: if the wheatworm is a profanity and high-tension then it is not a Arjuna. sent15: the gristmill is not a kind of a side if the wheatworm is not a kind of a profanity but it is a kind of a glossalgia. sent16: the wheatworm is not a kind of a profanity if the fact that it is both high-tension and a Romance is not true. sent17: if there exists something such that that it is not an acoustics but chromatinic does not hold the opposition is a kind of a Arjuna. sent18: if the wheatworm is both not a glossalgia and a burl then the gristmill is not chromatinic. sent19: the wheatworm is both a glossalgia and chromatinic. sent20: if something that is a Arjuna is high-tension then it does not side. sent21: something that is high-tension and not a Romance is not chromatinic. sent22: if something that is not a glossalgia is a profanity the odometer is not high-tension. sent23: the wheatworm does not activate.
sent16 & sent1 -> int1: the wheatworm is not a profanity.; sent19 -> int2: the wheatworm is a glossalgia.; int1 & int2 -> int3: the wheatworm is not a profanity but it is a glossalgia.; int3 & sent15 -> int4: the gristmill does not side.; sent5 -> int5: the gristmill is a kind of a Arjuna but it is not saprobic if it is not side.; int4 & int5 -> int6: the gristmill is a Arjuna that is non-saprobic.; sent9 -> int7: if the gristmill is a kind of a Arjuna and is not saprobic then it is not a kind of a burl.; int6 & int7 -> hypothesis;
the gristmill does burl.
sent2 -> int8: if the camber does not side it is not a kind of a profanity.; sent10 -> int9: there is something such that that it is not a kind of an acoustics and it is not non-chromatinic does not hold.; int9 & sent17 -> int10: the opposition is a kind of a Arjuna.;
$hypothesis$ = the gristmill is a burl. ; $context$ = sent1: that that the wheatworm is high-tension thing that is a Romance is not false is not true. sent2: if something is not a kind of a side then it is not a profanity. sent3: the gristmill is a kind of a Arjuna and it is chromatinic. sent4: the gristmill is not a Romance if it is high-tension and it does burl. sent5: something is a Arjuna but it is not saprobic if it is not side. sent6: there is something such that the fact that it is not a kind of an acoustics and it is not chromatinic does not hold. sent7: if the fact that the camber is not a kind of a profanity is not false then the fact that the wheatworm is a glossalgia but it does not burl does not hold. sent8: the wheatworm is a burl but it is not a profanity if it is not a side. sent9: if something is a Arjuna but it is not saprobic it is not a burl. sent10: the fact that the fact that the anecdotist is not an acoustics but it is chromatinic hold is wrong. sent11: something that is not a kind of a side is a profanity and/or a glossalgia. sent12: if the opposition is not a side and it is not saprobic the camber is not side. sent13: something either is not a side or is a Arjuna or both if it is not saprobic. sent14: if the wheatworm is a profanity and high-tension then it is not a Arjuna. sent15: the gristmill is not a kind of a side if the wheatworm is not a kind of a profanity but it is a kind of a glossalgia. sent16: the wheatworm is not a kind of a profanity if the fact that it is both high-tension and a Romance is not true. sent17: if there exists something such that that it is not an acoustics but chromatinic does not hold the opposition is a kind of a Arjuna. sent18: if the wheatworm is both not a glossalgia and a burl then the gristmill is not chromatinic. sent19: the wheatworm is both a glossalgia and chromatinic. sent20: if something that is a Arjuna is high-tension then it does not side. sent21: something that is high-tension and not a Romance is not chromatinic. sent22: if something that is not a glossalgia is a profanity the odometer is not high-tension. sent23: the wheatworm does not activate. ; $proof$ = 
sent16 & sent1 -> int1: the wheatworm is not a profanity.; sent19 -> int2: the wheatworm is a glossalgia.; int1 & int2 -> int3: the wheatworm is not a profanity but it is a glossalgia.; int3 & sent15 -> int4: the gristmill does not side.; sent5 -> int5: the gristmill is a kind of a Arjuna but it is not saprobic if it is not side.; int4 & int5 -> int6: the gristmill is a Arjuna that is non-saprobic.; sent9 -> int7: if the gristmill is a kind of a Arjuna and is not saprobic then it is not a kind of a burl.; int6 & int7 -> hypothesis; __DISPROVED__