if the umbilical is a kind of a tinsmith then that the clamp is a Tito is not false.
sent1: if the tamp is not anemophilous the fact that the eyespot does smock transcendence hold. sent2: if that the dimmer is a kind of a Blenniidae that does not spill measurement is not correct then the foulard is not a sandpaper. sent3: the fact that the foulard is not a kind of a sandpaper but it is a tinsmith is not right. sent4: that the tamp is not a sandpaper but anemophilous is not correct if the foulard does not sandpaper. sent5: if the dimmer is a sandpaper then the foulard is a kind of a Blenniidae. sent6: the fact that the tamp does not sandpaper but it does spill measurement does not hold if the dimmer is not a sandpaper. sent7: if the fact that the dimmer is a sandpaper and is not a tinsmith is incorrect then the foulard is not a Blenniidae. sent8: if the umbilical is a tinsmith the fact that the dimmer is a Blenniidae that does not spill measurement does not hold. sent9: if that the tamp is not a sandpaper but it is anemophilous does not hold then the fact that the eyespot does smock transcendence is right. sent10: that that the dimmer is a Blenniidae that spills measurement is not correct if the umbilical is a tinsmith hold. sent11: the fact that the umbilical is not a tinsmith but it is a sandpaper is not true. sent12: the clamp is a kind of a Tito if the eyespot smocks transcendence. sent13: the fact that the foulard does not sandpaper hold if the dimmer does spill measurement. sent14: the fact that the dimmer is a Blenniidae and does spill measurement is not correct.
void -> assump1: Let's assume that the umbilical is a tinsmith.; sent8 & assump1 -> int1: that the dimmer is a Blenniidae and does not spill measurement does not hold.; sent2 & int1 -> int2: the foulard does not sandpaper.; sent4 & int2 -> int3: that the tamp does not sandpaper but it is anemophilous is not right.; sent9 & int3 -> int4: that the eyespot does smock transcendence is not wrong.; sent12 & int4 -> int5: the clamp is a Tito.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the umbilical is a kind of a tinsmith then that the clamp is a Tito is not false. ; $context$ = sent1: if the tamp is not anemophilous the fact that the eyespot does smock transcendence hold. sent2: if that the dimmer is a kind of a Blenniidae that does not spill measurement is not correct then the foulard is not a sandpaper. sent3: the fact that the foulard is not a kind of a sandpaper but it is a tinsmith is not right. sent4: that the tamp is not a sandpaper but anemophilous is not correct if the foulard does not sandpaper. sent5: if the dimmer is a sandpaper then the foulard is a kind of a Blenniidae. sent6: the fact that the tamp does not sandpaper but it does spill measurement does not hold if the dimmer is not a sandpaper. sent7: if the fact that the dimmer is a sandpaper and is not a tinsmith is incorrect then the foulard is not a Blenniidae. sent8: if the umbilical is a tinsmith the fact that the dimmer is a Blenniidae that does not spill measurement does not hold. sent9: if that the tamp is not a sandpaper but it is anemophilous does not hold then the fact that the eyespot does smock transcendence is right. sent10: that that the dimmer is a Blenniidae that spills measurement is not correct if the umbilical is a tinsmith hold. sent11: the fact that the umbilical is not a tinsmith but it is a sandpaper is not true. sent12: the clamp is a kind of a Tito if the eyespot smocks transcendence. sent13: the fact that the foulard does not sandpaper hold if the dimmer does spill measurement. sent14: the fact that the dimmer is a Blenniidae and does spill measurement is not correct. ; $proof$ = 
void -> assump1: Let's assume that the umbilical is a tinsmith.; sent8 & assump1 -> int1: that the dimmer is a Blenniidae and does not spill measurement does not hold.; sent2 & int1 -> int2: the foulard does not sandpaper.; sent4 & int2 -> int3: that the tamp does not sandpaper but it is anemophilous is not right.; sent9 & int3 -> int4: that the eyespot does smock transcendence is not wrong.; sent12 & int4 -> int5: the clamp is a Tito.; [assump1] & int5 -> hypothesis; __PROVED__