the Tsimshian is a carnival.
sent1: if something is arbitrary that it scents Hibbertia is not false. sent2: something does compel straying. sent3: if there exists something such that it is a atole the caravansary is not gallinaceous and does not compel straying. sent4: the Tsimshian does scent Hibbertia. sent5: if the kangaroo does scent Hibbertia then the fact that the Tsimshian is a kind of a carnival is true. sent6: the fact that the Turkmen is arbitrary is not wrong. sent7: the landau is a kind of a atole. sent8: that the kangaroo does not compel straying is not wrong if something scents Hibbertia. sent9: the caravansary is not arbitrary. sent10: the kangaroo is a carnival. sent11: if the Turkmen does compel straying but it is not a crabgrass then the caravansary is a carnival. sent12: if something services relatum then it is a flyleaf. sent13: the fact that the landau is a humanist hold. sent14: the caravansary is not a atole. sent15: if the Turkmen is not a crabgrass the kangaroo is arbitrary. sent16: the caravansary does not scent Hibbertia and it is non-gallinaceous. sent17: the lightwood does not compel straying. sent18: something that is humanist is a crabgrass. sent19: if the caravansary is a kind of non-gallinaceous thing that does not compel straying the lightwood is a humanist.
sent7 -> int1: there is something such that it is a kind of a atole.; int1 & sent3 -> int2: the caravansary is not gallinaceous and it does not compel straying.; int2 & sent19 -> int3: the lightwood is a humanist.; sent1 -> int4: if the kangaroo is arbitrary then that it scents Hibbertia is not false.;
$hypothesis$ = the Tsimshian is a carnival. ; $context$ = sent1: if something is arbitrary that it scents Hibbertia is not false. sent2: something does compel straying. sent3: if there exists something such that it is a atole the caravansary is not gallinaceous and does not compel straying. sent4: the Tsimshian does scent Hibbertia. sent5: if the kangaroo does scent Hibbertia then the fact that the Tsimshian is a kind of a carnival is true. sent6: the fact that the Turkmen is arbitrary is not wrong. sent7: the landau is a kind of a atole. sent8: that the kangaroo does not compel straying is not wrong if something scents Hibbertia. sent9: the caravansary is not arbitrary. sent10: the kangaroo is a carnival. sent11: if the Turkmen does compel straying but it is not a crabgrass then the caravansary is a carnival. sent12: if something services relatum then it is a flyleaf. sent13: the fact that the landau is a humanist hold. sent14: the caravansary is not a atole. sent15: if the Turkmen is not a crabgrass the kangaroo is arbitrary. sent16: the caravansary does not scent Hibbertia and it is non-gallinaceous. sent17: the lightwood does not compel straying. sent18: something that is humanist is a crabgrass. sent19: if the caravansary is a kind of non-gallinaceous thing that does not compel straying the lightwood is a humanist. ; $proof$ = 
sent7 -> int1: there is something such that it is a kind of a atole.; int1 & sent3 -> int2: the caravansary is not gallinaceous and it does not compel straying.; int2 & sent19 -> int3: the lightwood is a humanist.; sent1 -> int4: if the kangaroo is arbitrary then that it scents Hibbertia is not false.; __UNKNOWN__