the houseguest is dishonest.
sent1: the esquire is not a kind of a newcomer. sent2: the esquire does bar futurism if the Firth is Falstaffian. sent3: if the fact that the kingdom is not awkward or not migrational or both is false then the dairyman is not an instrument. sent4: if the Firth does not bar futurism then it is not Falstaffian. sent5: if that the kingdom is non-awkward and/or it is migrational is not right the dairyman is not an instrument. sent6: the Firth is a newcomer. sent7: everything is adynamic. sent8: the krypton does bar futurism. sent9: the dairyman does not instrument if the fact that the kingdom is awkward and/or it is not migrational is not true. sent10: if the fact that the Firth either bars futurism or is not dishonest or both does not hold the houseguest is not dishonest. sent11: the esquire is not saprophytic if it is not a newcomer. sent12: that the kingdom is non-awkward or non-migrational or both is not right if the Firth is not Falstaffian. sent13: if the dairyman is not non-awkward either the kingdom is occlusive or it is not saprophytic or both. sent14: if something is not saprophytic and does bar futurism it is not occlusive. sent15: if the esquire is Falstaffian then that the Firth does bar futurism and/or it is not dishonest is not true. sent16: everything is occlusive and it is a Versace.
void -> assump1: Let's assume that the Firth is Falstaffian.; sent2 & assump1 -> int1: the esquire does bar futurism.; sent11 & sent1 -> int2: that the esquire is not saprophytic is not incorrect.; int1 & int2 -> int3: that the esquire is not saprophytic but it bars futurism hold.; sent14 -> int4: if the esquire is not saprophytic but it does bar futurism then it is not occlusive.; int3 & int4 -> int5: the esquire is not occlusive.; sent16 -> int6: the esquire is occlusive and it is a Versace.; int6 -> int7: the fact that the esquire is occlusive is right.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Firth is not Falstaffian.; int9 & sent12 -> int10: the fact that the kingdom is not awkward or it is not migrational or both is not right.; int10 & sent3 -> int11: the fact that the dairyman does not instrument hold.;
the houseguest is not dishonest.
$hypothesis$ = the houseguest is dishonest. ; $context$ = sent1: the esquire is not a kind of a newcomer. sent2: the esquire does bar futurism if the Firth is Falstaffian. sent3: if the fact that the kingdom is not awkward or not migrational or both is false then the dairyman is not an instrument. sent4: if the Firth does not bar futurism then it is not Falstaffian. sent5: if that the kingdom is non-awkward and/or it is migrational is not right the dairyman is not an instrument. sent6: the Firth is a newcomer. sent7: everything is adynamic. sent8: the krypton does bar futurism. sent9: the dairyman does not instrument if the fact that the kingdom is awkward and/or it is not migrational is not true. sent10: if the fact that the Firth either bars futurism or is not dishonest or both does not hold the houseguest is not dishonest. sent11: the esquire is not saprophytic if it is not a newcomer. sent12: that the kingdom is non-awkward or non-migrational or both is not right if the Firth is not Falstaffian. sent13: if the dairyman is not non-awkward either the kingdom is occlusive or it is not saprophytic or both. sent14: if something is not saprophytic and does bar futurism it is not occlusive. sent15: if the esquire is Falstaffian then that the Firth does bar futurism and/or it is not dishonest is not true. sent16: everything is occlusive and it is a Versace. ; $proof$ = 
void -> assump1: Let's assume that the Firth is Falstaffian.; sent2 & assump1 -> int1: the esquire does bar futurism.; sent11 & sent1 -> int2: that the esquire is not saprophytic is not incorrect.; int1 & int2 -> int3: that the esquire is not saprophytic but it bars futurism hold.; sent14 -> int4: if the esquire is not saprophytic but it does bar futurism then it is not occlusive.; int3 & int4 -> int5: the esquire is not occlusive.; sent16 -> int6: the esquire is occlusive and it is a Versace.; int6 -> int7: the fact that the esquire is occlusive is right.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Firth is not Falstaffian.; int9 & sent12 -> int10: the fact that the kingdom is not awkward or it is not migrational or both is not right.; int10 & sent3 -> int11: the fact that the dairyman does not instrument hold.; __UNKNOWN__