the medalist rears Spillane but it does not weave macaw.
sent1: that if something is a kind of a Appalachian but it is not physical then it is a kind of a Linaceae is not wrong. sent2: the crutch is not a Linaceae if the fact that the oldwench is both physical and not a Appalachian is not true. sent3: the medalist is a Appalachian. sent4: that the medalist is not a otoganglion is true. sent5: if the crutch is not a kind of a Linaceae the fact that the tailpiece is a lace and it preambles is not correct. sent6: if the fact that the tailpiece is a lace and is a preamble is wrong then it is not a beachhead. sent7: something is soleless and is not a Appalachian if it is not a gat. sent8: the resonance is a beachhead. sent9: the medalist is a Appalachian if it is not a otoganglion. sent10: the medalist is a beachhead and a preamble. sent11: if something is a kind of a preamble that is a lace then it is not a Linaceae. sent12: the medalist does rear Spillane but it does not weave macaw if it is not a lace.
sent10 -> int1: the medalist is a preamble.; void -> assump1: Let's assume that the medalist is a lace.; int1 & assump1 -> int2: the medalist is a kind of a preamble and it does lace.; sent11 -> int3: if the medalist is a kind of a preamble that is a lace then it is not a Linaceae.; int2 & int3 -> int4: the medalist is not a kind of a Linaceae.; sent1 -> int5: the medalist is a Linaceae if that it is both Appalachian and not physical is right.;
the macaw is soleless but it is not a kind of a Appalachian if it is not a kind of a gat.
sent7 -> hypothesis;
$hypothesis$ = the medalist rears Spillane but it does not weave macaw. ; $context$ = sent1: that if something is a kind of a Appalachian but it is not physical then it is a kind of a Linaceae is not wrong. sent2: the crutch is not a Linaceae if the fact that the oldwench is both physical and not a Appalachian is not true. sent3: the medalist is a Appalachian. sent4: that the medalist is not a otoganglion is true. sent5: if the crutch is not a kind of a Linaceae the fact that the tailpiece is a lace and it preambles is not correct. sent6: if the fact that the tailpiece is a lace and is a preamble is wrong then it is not a beachhead. sent7: something is soleless and is not a Appalachian if it is not a gat. sent8: the resonance is a beachhead. sent9: the medalist is a Appalachian if it is not a otoganglion. sent10: the medalist is a beachhead and a preamble. sent11: if something is a kind of a preamble that is a lace then it is not a Linaceae. sent12: the medalist does rear Spillane but it does not weave macaw if it is not a lace. ; $proof$ = 
sent10 -> int1: the medalist is a preamble.; void -> assump1: Let's assume that the medalist is a lace.; int1 & assump1 -> int2: the medalist is a kind of a preamble and it does lace.; sent11 -> int3: if the medalist is a kind of a preamble that is a lace then it is not a Linaceae.; int2 & int3 -> int4: the medalist is not a kind of a Linaceae.; sent1 -> int5: the medalist is a Linaceae if that it is both Appalachian and not physical is right.; __UNKNOWN__