the surfeit is a kind of a Sacramento that is not a conk.
sent1: the hideout is not a Sacramento if the fact that the surfeit is both a conk and not a avo is not true. sent2: there is something such that that it is both non-ursine and not a avo does not hold. sent3: if that the surfeit is a Sacramento but it is not a conk is incorrect the hideout is not a avo. sent4: if that the surfeit is not a kind of a Sacramento is not false then the hideout is not a avo. sent5: the fact that the hideout is not a Sacramento if the fact that the surfeit is both a avo and not a conk is not true hold. sent6: there is something such that the fact that it is not ursine and it is a kind of a avo is false. sent7: there exists nothing such that it does not contemplate poorwill and straightens ironside. sent8: the fact that something is a avo that does not translate is not true if it does not straighten ironside. sent9: that if something is not ursine that it is a Sacramento but not a conk is not right is right. sent10: the surfeit is a kind of a Sacramento. sent11: that the surfeit hurtles and is not a lyricism is not correct. sent12: the hideout is a avo if there exists something such that it is a kind of a avo. sent13: something is not ursine and is not a avo. sent14: something does not straighten ironside if that it does not contemplate poorwill and it straighten ironside is wrong. sent15: there exists something such that that it is both ursine and not a avo is not correct. sent16: if that the surfeit is a avo but it is not a Sacramento is not right then the hideout is not a conk.
void -> assump1: Let's assume that the fact that the surfeit is a Sacramento but it is not a conk is not true.; sent3 & assump1 -> int1: the fact that the hideout is not a avo is true.;
the fact that the surfeit is a Sacramento but it is not a kind of a conk is false.
sent9 -> int2: if the surfeit is not ursine then that it is a Sacramento and it is not a conk does not hold.; sent8 -> int3: that the hideout is a avo but it does not translate is incorrect if it does not straighten ironside.; sent14 -> int4: that the hideout does not straighten ironside is right if that it does not contemplate poorwill and it does straighten ironside does not hold.; sent7 -> int5: that the hideout does not contemplate poorwill and does straighten ironside is incorrect.; int4 & int5 -> int6: the hideout does not straighten ironside.; int3 & int6 -> int7: the fact that the hideout is a kind of a avo but it does not translate does not hold.; int7 -> int8: there is something such that the fact that it is a kind of a avo that does not translate does not hold.;
$hypothesis$ = the surfeit is a kind of a Sacramento that is not a conk. ; $context$ = sent1: the hideout is not a Sacramento if the fact that the surfeit is both a conk and not a avo is not true. sent2: there is something such that that it is both non-ursine and not a avo does not hold. sent3: if that the surfeit is a Sacramento but it is not a conk is incorrect the hideout is not a avo. sent4: if that the surfeit is not a kind of a Sacramento is not false then the hideout is not a avo. sent5: the fact that the hideout is not a Sacramento if the fact that the surfeit is both a avo and not a conk is not true hold. sent6: there is something such that the fact that it is not ursine and it is a kind of a avo is false. sent7: there exists nothing such that it does not contemplate poorwill and straightens ironside. sent8: the fact that something is a avo that does not translate is not true if it does not straighten ironside. sent9: that if something is not ursine that it is a Sacramento but not a conk is not right is right. sent10: the surfeit is a kind of a Sacramento. sent11: that the surfeit hurtles and is not a lyricism is not correct. sent12: the hideout is a avo if there exists something such that it is a kind of a avo. sent13: something is not ursine and is not a avo. sent14: something does not straighten ironside if that it does not contemplate poorwill and it straighten ironside is wrong. sent15: there exists something such that that it is both ursine and not a avo is not correct. sent16: if that the surfeit is a avo but it is not a Sacramento is not right then the hideout is not a conk. ; $proof$ = 
void -> assump1: Let's assume that the fact that the surfeit is a Sacramento but it is not a conk is not true.; sent3 & assump1 -> int1: the fact that the hideout is not a avo is true.; __UNKNOWN__