the swizzle does refer stamp.
sent1: the tatouay is not a kind of a flyweight or it conks or both if the foreshore does not refer runup. sent2: the tatouay is not a flyweight if the swizzle does sheathe salting. sent3: something does not refer runup and it is not truthful if it sheathes surcharge. sent4: The runup does refer foreshore. sent5: the swizzle does refer runup if that the tatouay refer runup is correct. sent6: if something refers runup then it conks. sent7: the foreshore does refer runup. sent8: the tatouay does refer runup if the foreshore does refer runup. sent9: if something is not a flyweight it does not refer stamp. sent10: if the fact that the foreshore does not sheathe surcharge and is a pincushion is false then it sheathe surcharge. sent11: if something is not a kind of a wallboard that it is a minimalism and it is a kind of a alkyl is incorrect. sent12: if something conks then it is a kind of a flyweight. sent13: if that the swizzle does not sheathe salting but it is a propjet is incorrect then the tatouay is not a kind of a flyweight.
void -> assump1: Let's assume that the swizzle does not refer stamp.; sent12 -> int1: the fact that the tatouay is the flyweight if the tatouay is a conk is correct.; sent6 -> int2: if the tatouay refers runup then it is a conk.; sent8 & sent7 -> int3: the tatouay does refer runup.; int2 & int3 -> int4: the fact that the tatouay is a conk hold.; int1 & int4 -> int5: the tatouay is a kind of a flyweight.;
the swizzle does not refer stamp.
sent9 -> int6: that the swizzle does not refer stamp hold if the fact that it is not a flyweight is correct.; sent3 -> int7: if the foreshore sheathes surcharge it does not refer runup and is untruthful.;
$hypothesis$ = the swizzle does refer stamp. ; $context$ = sent1: the tatouay is not a kind of a flyweight or it conks or both if the foreshore does not refer runup. sent2: the tatouay is not a flyweight if the swizzle does sheathe salting. sent3: something does not refer runup and it is not truthful if it sheathes surcharge. sent4: The runup does refer foreshore. sent5: the swizzle does refer runup if that the tatouay refer runup is correct. sent6: if something refers runup then it conks. sent7: the foreshore does refer runup. sent8: the tatouay does refer runup if the foreshore does refer runup. sent9: if something is not a flyweight it does not refer stamp. sent10: if the fact that the foreshore does not sheathe surcharge and is a pincushion is false then it sheathe surcharge. sent11: if something is not a kind of a wallboard that it is a minimalism and it is a kind of a alkyl is incorrect. sent12: if something conks then it is a kind of a flyweight. sent13: if that the swizzle does not sheathe salting but it is a propjet is incorrect then the tatouay is not a kind of a flyweight. ; $proof$ = 
void -> assump1: Let's assume that the swizzle does not refer stamp.; sent12 -> int1: the fact that the tatouay is the flyweight if the tatouay is a conk is correct.; sent6 -> int2: if the tatouay refers runup then it is a conk.; sent8 & sent7 -> int3: the tatouay does refer runup.; int2 & int3 -> int4: the fact that the tatouay is a conk hold.; int1 & int4 -> int5: the tatouay is a kind of a flyweight.; __UNKNOWN__