the catkin does not tunnel weaving.
sent1: the fact that the catkin tunnels weaving and is not a kind of a patching is not right. sent2: if that the jumper is unrestrictive but not a feel is not right the catkin is not a baggage. sent3: the jumper is a kind of a feel if it is not a baggage. sent4: the fact that the fact that the jumper is both unrestrictive and not a feel is wrong hold if it is not a kind of a man-on-a-horse. sent5: the stammerer is transatlantic if the bassoon is both not a totalitarian and not a manor. sent6: the thunderhead is Prakritic if the fact that either the unionist is Prakritic or it is not alabaster or both is not right. sent7: if something is not non-Prakritic then it is not a man-on-a-horse and is not a kind of an agglomeration. sent8: if something is not a baggage that it does tunnel weaving hold. sent9: the fact that the jumper is unrestrictive and feels is not correct. sent10: if the thunderhead is not a man-on-a-horse the fact that the jumper tunnels weaving and is not a baggage does not hold. sent11: the catkin is not a kind of a man-on-a-horse if the jumper is a baggage. sent12: the xanthophyll is not a kind of a baggage. sent13: if the fact that the jumper tunnels weaving but it is not a baggage is false then the catkin does not tunnels weaving. sent14: if the proturan is not Lusitanian then the bassoon is not a kind of a totalitarian and is not a manor. sent15: the fact that something is unrestrictive hold if it is not a feel. sent16: if the fact that the catkin is a man-on-a-horse and not a feel is not true the jumper does not tunnel weaving. sent17: the jumper is not a man-on-a-horse.
sent4 & sent17 -> int1: the fact that the jumper is unrestrictive and not a feel does not hold.; int1 & sent2 -> int2: the catkin is not a baggage.; sent8 -> int3: the catkin does tunnel weaving if it is not a kind of a baggage.; int2 & int3 -> hypothesis;
the catkin does not tunnel weaving.
sent7 -> int4: the thunderhead is not a man-on-a-horse and it is not an agglomeration if it is Prakritic.;
$hypothesis$ = the catkin does not tunnel weaving. ; $context$ = sent1: the fact that the catkin tunnels weaving and is not a kind of a patching is not right. sent2: if that the jumper is unrestrictive but not a feel is not right the catkin is not a baggage. sent3: the jumper is a kind of a feel if it is not a baggage. sent4: the fact that the fact that the jumper is both unrestrictive and not a feel is wrong hold if it is not a kind of a man-on-a-horse. sent5: the stammerer is transatlantic if the bassoon is both not a totalitarian and not a manor. sent6: the thunderhead is Prakritic if the fact that either the unionist is Prakritic or it is not alabaster or both is not right. sent7: if something is not non-Prakritic then it is not a man-on-a-horse and is not a kind of an agglomeration. sent8: if something is not a baggage that it does tunnel weaving hold. sent9: the fact that the jumper is unrestrictive and feels is not correct. sent10: if the thunderhead is not a man-on-a-horse the fact that the jumper tunnels weaving and is not a baggage does not hold. sent11: the catkin is not a kind of a man-on-a-horse if the jumper is a baggage. sent12: the xanthophyll is not a kind of a baggage. sent13: if the fact that the jumper tunnels weaving but it is not a baggage is false then the catkin does not tunnels weaving. sent14: if the proturan is not Lusitanian then the bassoon is not a kind of a totalitarian and is not a manor. sent15: the fact that something is unrestrictive hold if it is not a feel. sent16: if the fact that the catkin is a man-on-a-horse and not a feel is not true the jumper does not tunnel weaving. sent17: the jumper is not a man-on-a-horse. ; $proof$ = 
sent4 & sent17 -> int1: the fact that the jumper is unrestrictive and not a feel does not hold.; int1 & sent2 -> int2: the catkin is not a baggage.; sent8 -> int3: the catkin does tunnel weaving if it is not a kind of a baggage.; int2 & int3 -> hypothesis; __DISPROVED__