if the smuggler is a Vonnegut the factory is not a archosaur.
sent1: the smuggler swings and is a Vonnegut. sent2: the brant is not a heliogram if the smuggler is both a lessor and a Vonnegut. sent3: if there is something such that the fact that it is both not a archosaur and not paleocortical is wrong the smuggler is a heliogram. sent4: there is something such that it is not a archosaur. sent5: the factory is a kind of a heliogram. sent6: there exists something such that it swings. sent7: the witloof is not a lessor. sent8: the fact that the sniper is not a archosaur and it is not paleocortical is false if it is not a adrenergic. sent9: that the witloof is a declassification and it does tighten esquire is incorrect. sent10: the kingfish is a nonpayment if the witloof is not a kind of a nonpayment. sent11: if the fact that the witloof is uneager but it does not swing does not hold the fact that the smuggler is a kind of a lessor is correct. sent12: the factory is not a kind of a lessor. sent13: the brant is a heliogram if that the witloof is a Vonnegut but it is not uneager does not hold. sent14: that the smuggler is a lessor is not incorrect if the witloof is not uneager. sent15: something is a kind of a heliogram. sent16: something detribalizes sniper if it is a Vonnegut. sent17: there exists something such that it does not swing. sent18: if the smuggler is a heliogram then the kingfish is a Vonnegut that is not a lessor. sent19: that the smuggler is both falconine and not a archosaur is not correct. sent20: that that the witloof is a heliogram and is eager is correct is wrong. sent21: the factory is not a archosaur if something is not a heliogram. sent22: the sniper is not a kind of a adrenergic. sent23: the fact that the fact that the smuggler is a archosaur is right if the factory is a Vonnegut hold.
the kingfish does detribalize sniper and is a nonpayment.
sent16 -> int1: if the kingfish is a Vonnegut it detribalizes sniper.; sent8 & sent22 -> int2: that the sniper is not a kind of a archosaur and it is not paleocortical is not right.; int2 -> int3: there is something such that the fact that it is not a archosaur and is not paleocortical does not hold.; int3 & sent3 -> int4: that the smuggler is a heliogram is correct.; sent18 & int4 -> int5: that the kingfish is a kind of a Vonnegut but it is not a lessor is right.; int5 -> int6: the kingfish is a kind of a Vonnegut.; int1 & int6 -> int7: the kingfish detribalizes sniper.;
$hypothesis$ = if the smuggler is a Vonnegut the factory is not a archosaur. ; $context$ = sent1: the smuggler swings and is a Vonnegut. sent2: the brant is not a heliogram if the smuggler is both a lessor and a Vonnegut. sent3: if there is something such that the fact that it is both not a archosaur and not paleocortical is wrong the smuggler is a heliogram. sent4: there is something such that it is not a archosaur. sent5: the factory is a kind of a heliogram. sent6: there exists something such that it swings. sent7: the witloof is not a lessor. sent8: the fact that the sniper is not a archosaur and it is not paleocortical is false if it is not a adrenergic. sent9: that the witloof is a declassification and it does tighten esquire is incorrect. sent10: the kingfish is a nonpayment if the witloof is not a kind of a nonpayment. sent11: if the fact that the witloof is uneager but it does not swing does not hold the fact that the smuggler is a kind of a lessor is correct. sent12: the factory is not a kind of a lessor. sent13: the brant is a heliogram if that the witloof is a Vonnegut but it is not uneager does not hold. sent14: that the smuggler is a lessor is not incorrect if the witloof is not uneager. sent15: something is a kind of a heliogram. sent16: something detribalizes sniper if it is a Vonnegut. sent17: there exists something such that it does not swing. sent18: if the smuggler is a heliogram then the kingfish is a Vonnegut that is not a lessor. sent19: that the smuggler is both falconine and not a archosaur is not correct. sent20: that that the witloof is a heliogram and is eager is correct is wrong. sent21: the factory is not a archosaur if something is not a heliogram. sent22: the sniper is not a kind of a adrenergic. sent23: the fact that the fact that the smuggler is a archosaur is right if the factory is a Vonnegut hold. ; $proof$ = 
__UNKNOWN__