there is something such that if it is a chutney then it does not jostle Houghton.
sent1: the gayfeather does jostle Houghton. sent2: there is something such that it is not a kind of a grit. sent3: the gayfeather is a chutney. sent4: the snout is a grit but not a comment. sent5: if there exists something such that it is not a grit the snout intends but it is non-neritic. sent6: if the snout is a Exodus that is a chutney it does jostle Houghton. sent7: the potassium is cubital but it does not whelp lacking. sent8: if the fact that the gayfeather intends and it is a chutney is correct the snout does not intends. sent9: the snout is a dare but it is not unalert if there is something such that it is not neritic. sent10: if something is not unfrozen it is a Exodus. sent11: the lypressin is non-neritic if there is something such that it does not intend and does not grit. sent12: the snout is not neritic if something is not a grit. sent13: if something is Bahai and it is peroneal it is not a kind of a dresser. sent14: the snout does jostle Houghton. sent15: there is something such that it is not a kind of a rub. sent16: if something is a kind of a Exodus and it is a chutney it does not jostle Houghton. sent17: something does intend if the fact that it does not intend and it is not a falcon-gentle does not hold. sent18: if something kidnaps sunbonnet and is not a cachou it does not foul. sent19: if something that intends is neritic then that it is not unfrozen is not false. sent20: the sunbonnet is a chutney but it is not titular.
sent2 & sent5 -> int1: the snout intends but it is not neritic.; sent10 -> int2: if the snout is not unfrozen then it is a kind of a Exodus.; void -> assump1: Let's assume that the snout is a kind of a chutney.; sent16 -> int3: if the snout is both a Exodus and a chutney then it does not jostle Houghton.;
the lypressin is not neritic.
sent17 -> int4: if the fact that the gayfeather does not intend and is not a falcon-gentle is false it does intend.;
$hypothesis$ = there is something such that if it is a chutney then it does not jostle Houghton. ; $context$ = sent1: the gayfeather does jostle Houghton. sent2: there is something such that it is not a kind of a grit. sent3: the gayfeather is a chutney. sent4: the snout is a grit but not a comment. sent5: if there exists something such that it is not a grit the snout intends but it is non-neritic. sent6: if the snout is a Exodus that is a chutney it does jostle Houghton. sent7: the potassium is cubital but it does not whelp lacking. sent8: if the fact that the gayfeather intends and it is a chutney is correct the snout does not intends. sent9: the snout is a dare but it is not unalert if there is something such that it is not neritic. sent10: if something is not unfrozen it is a Exodus. sent11: the lypressin is non-neritic if there is something such that it does not intend and does not grit. sent12: the snout is not neritic if something is not a grit. sent13: if something is Bahai and it is peroneal it is not a kind of a dresser. sent14: the snout does jostle Houghton. sent15: there is something such that it is not a kind of a rub. sent16: if something is a kind of a Exodus and it is a chutney it does not jostle Houghton. sent17: something does intend if the fact that it does not intend and it is not a falcon-gentle does not hold. sent18: if something kidnaps sunbonnet and is not a cachou it does not foul. sent19: if something that intends is neritic then that it is not unfrozen is not false. sent20: the sunbonnet is a chutney but it is not titular. ; $proof$ = 
sent2 & sent5 -> int1: the snout intends but it is not neritic.; sent10 -> int2: if the snout is not unfrozen then it is a kind of a Exodus.; void -> assump1: Let's assume that the snout is a kind of a chutney.; sent16 -> int3: if the snout is both a Exodus and a chutney then it does not jostle Houghton.; __UNKNOWN__