the vegetarian is an indicative.
sent1: the vegetarian is not a kind of an indicative if the hawk is a toy. sent2: there is something such that it is indicative. sent3: the patrician does remove caution. sent4: something either toys or is accommodative or both if it is not unrhythmical. sent5: if the hawk dances purloo then the patrician is accommodative. sent6: if the vegetarian does toy then the hawk is not an indicative. sent7: if an indicative does dance purloo then the fact that the hawk is not accommodative hold. sent8: there exists something such that it removes caution. sent9: something is a kind of fictional thing that is a kind of a face. sent10: the hawk is not unrhythmical if something removes caution and does dance purloo. sent11: the patrician does dance purloo. sent12: the vegetarian is an indicative if the hawk is accommodative. sent13: if the vegetarian toys then the hawk is not unrhythmical. sent14: the vegetarian is not indicative if the hawk is accommodative. sent15: the vegetarian is a kind of an indicative if the patrician does not remove caution. sent16: The caution does remove patrician. sent17: The purloo does dance patrician. sent18: something does dance purloo. sent19: the patrician does toy if the hawk does remove caution.
sent3 & sent11 -> int1: the patrician removes caution and it does dance purloo.; int1 -> int2: there is something such that it removes caution and dances purloo.; int2 & sent10 -> int3: the hawk is not unrhythmical.; sent4 -> int4: if the hawk is not unrhythmical then it is a toy and/or accommodative.; int3 & int4 -> int5: that the hawk toys or is accommodative or both is not false.; int5 & sent1 & sent14 -> hypothesis;
the vegetarian is an indicative.
$hypothesis$ = the vegetarian is an indicative. ; $context$ = sent1: the vegetarian is not a kind of an indicative if the hawk is a toy. sent2: there is something such that it is indicative. sent3: the patrician does remove caution. sent4: something either toys or is accommodative or both if it is not unrhythmical. sent5: if the hawk dances purloo then the patrician is accommodative. sent6: if the vegetarian does toy then the hawk is not an indicative. sent7: if an indicative does dance purloo then the fact that the hawk is not accommodative hold. sent8: there exists something such that it removes caution. sent9: something is a kind of fictional thing that is a kind of a face. sent10: the hawk is not unrhythmical if something removes caution and does dance purloo. sent11: the patrician does dance purloo. sent12: the vegetarian is an indicative if the hawk is accommodative. sent13: if the vegetarian toys then the hawk is not unrhythmical. sent14: the vegetarian is not indicative if the hawk is accommodative. sent15: the vegetarian is a kind of an indicative if the patrician does not remove caution. sent16: The caution does remove patrician. sent17: The purloo does dance patrician. sent18: something does dance purloo. sent19: the patrician does toy if the hawk does remove caution. ; $proof$ = 
sent3 & sent11 -> int1: the patrician removes caution and it does dance purloo.; int1 -> int2: there is something such that it removes caution and dances purloo.; int2 & sent10 -> int3: the hawk is not unrhythmical.; sent4 -> int4: if the hawk is not unrhythmical then it is a toy and/or accommodative.; int3 & int4 -> int5: that the hawk toys or is accommodative or both is not false.; int5 & sent1 & sent14 -> hypothesis; __DISPROVED__