the capture is not a Champlain.
sent1: the gaiter is atherosclerotic. sent2: the company is a Mahan and it is atherosclerotic. sent3: the company is a kind of a Mahan if there is something such that it is not anticoagulative. sent4: if that something is not optical or it is not a flannelette or both is true that it is not a leap hold. sent5: the piddock is atherosclerotic. sent6: the gaiter is not optical and/or it is a flannelette. sent7: if the fact that something is a Epidendrum and does not incur is not right then it is not optical. sent8: something is a kind of a Champlain if it is a flannelette. sent9: if there are non-anticoagulative things the company is polyphonic and it is a kind of a Mahan. sent10: the fact that the gaiter is a Epidendrum and it does incur is false. sent11: there is something such that it is not anticoagulative. sent12: the gaiter is not a Mahan. sent13: the capture is not a Champlain if the gaiter is a kind of a Epidendrum that does incur. sent14: if something is not a flannelette it does not leap. sent15: if that the company is polyphonic hold then the fact that the gaiter either does not leap or is not atherosclerotic or both is not true. sent16: the gaiter is not a leap and/or is atherosclerotic.
sent7 -> int1: if that the gaiter is a Epidendrum but it does not incur is not true then it is not optical.; void -> assump1: Let's assume that that the fact that the gaiter is a Epidendrum but it does not incur is incorrect is right.; int1 & assump1 -> int2: the gaiter is not optical.; int2 -> int3: the gaiter is non-optical and/or it is not a kind of a flannelette.; sent4 -> int4: the gaiter is not a leap if it is non-optical or it is not a flannelette or both.; int3 & int4 -> int5: the gaiter is not a kind of a leap.; int5 -> int6: the gaiter does not leap or it is not atherosclerotic or both.; sent11 & sent9 -> int7: the company is both polyphonic and a Mahan.; int7 -> int8: the company is polyphonic.; sent15 & int8 -> int9: the fact that the gaiter is not a leap or not atherosclerotic or both does not hold.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the gaiter is a Epidendrum that does not incur.;
the capture is a Champlain.
sent8 -> int12: if the capture is a flannelette then it is a Champlain.; sent5 -> int13: there exists something such that it is atherosclerotic.;
$hypothesis$ = the capture is not a Champlain. ; $context$ = sent1: the gaiter is atherosclerotic. sent2: the company is a Mahan and it is atherosclerotic. sent3: the company is a kind of a Mahan if there is something such that it is not anticoagulative. sent4: if that something is not optical or it is not a flannelette or both is true that it is not a leap hold. sent5: the piddock is atherosclerotic. sent6: the gaiter is not optical and/or it is a flannelette. sent7: if the fact that something is a Epidendrum and does not incur is not right then it is not optical. sent8: something is a kind of a Champlain if it is a flannelette. sent9: if there are non-anticoagulative things the company is polyphonic and it is a kind of a Mahan. sent10: the fact that the gaiter is a Epidendrum and it does incur is false. sent11: there is something such that it is not anticoagulative. sent12: the gaiter is not a Mahan. sent13: the capture is not a Champlain if the gaiter is a kind of a Epidendrum that does incur. sent14: if something is not a flannelette it does not leap. sent15: if that the company is polyphonic hold then the fact that the gaiter either does not leap or is not atherosclerotic or both is not true. sent16: the gaiter is not a leap and/or is atherosclerotic. ; $proof$ = 
sent7 -> int1: if that the gaiter is a Epidendrum but it does not incur is not true then it is not optical.; void -> assump1: Let's assume that that the fact that the gaiter is a Epidendrum but it does not incur is incorrect is right.; int1 & assump1 -> int2: the gaiter is not optical.; int2 -> int3: the gaiter is non-optical and/or it is not a kind of a flannelette.; sent4 -> int4: the gaiter is not a leap if it is non-optical or it is not a flannelette or both.; int3 & int4 -> int5: the gaiter is not a kind of a leap.; int5 -> int6: the gaiter does not leap or it is not atherosclerotic or both.; sent11 & sent9 -> int7: the company is both polyphonic and a Mahan.; int7 -> int8: the company is polyphonic.; sent15 & int8 -> int9: the fact that the gaiter is not a leap or not atherosclerotic or both does not hold.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the gaiter is a Epidendrum that does not incur.; __UNKNOWN__