if the instigator is diaphyseal then the hiccup is not a cranium.
sent1: something is a cranium if that it is pneumatics and it is not a deposit does not hold. sent2: if that the hiccup is not a wavefront and it is not diaphyseal is incorrect then the phasianid is not a wavefront. sent3: the fact that the instigator is not a cowbell and/or it is not a wavefront is not correct if it is adamantine. sent4: the fact that something is not a wavefront and not diaphyseal is incorrect if that it is a cowbell is true. sent5: the fact that the hiccup is not a kind of a damp is not wrong if the fact that the instigator is not a kind of a cowbell and/or is a wavefront is wrong. sent6: the fact that the hiccup is a kind of a cranium is true if the instigator is diaphyseal. sent7: if something is not Thai then that it is a Mormonism and whiffs wetness does not hold. sent8: something is not a wavefront if it is a cranium. sent9: if that something is not non-pneumatics and not a deposit is not right the fact that it is not a cranium is right. sent10: if the hiccup is a deposit then it is not a kind of a cranium. sent11: something is not a Samia if it is concave. sent12: if the fact that something is a wavefront and not adamantine is wrong the fact that it does not deposit is right. sent13: the instigator does not whiff reactor if it is diaphyseal. sent14: something does not whiff reactor but it is adamantine if it is diaphyseal. sent15: the fact that something is not non-pneumatics and not a deposit is wrong if it is not a kind of a damp. sent16: if that the Canuck is not a cranium hold then that it is appositional and it monetizes Rosmarinus is not true.
sent14 -> int1: the instigator does not whiff reactor but it is adamantine if that it is diaphyseal hold.; void -> assump1: Let's assume that the instigator is diaphyseal.; int1 & assump1 -> int2: the instigator does not whiff reactor and is adamantine.; int2 -> int3: the instigator is adamantine.; int3 & sent3 -> int4: that either the instigator is not a kind of a cowbell or it is not a wavefront or both does not hold.; sent15 -> int5: if the hiccup is not a damp then that it is pneumatics and it is not a deposit is not correct.; sent9 -> int6: if that the hiccup is both pneumatics and not a deposit is not true it is not a kind of a cranium.;
the phasianid is not a wavefront.
sent4 -> int7: the fact that the hiccup is not a wavefront and it is not diaphyseal is false if it is a cowbell.;
$hypothesis$ = if the instigator is diaphyseal then the hiccup is not a cranium. ; $context$ = sent1: something is a cranium if that it is pneumatics and it is not a deposit does not hold. sent2: if that the hiccup is not a wavefront and it is not diaphyseal is incorrect then the phasianid is not a wavefront. sent3: the fact that the instigator is not a cowbell and/or it is not a wavefront is not correct if it is adamantine. sent4: the fact that something is not a wavefront and not diaphyseal is incorrect if that it is a cowbell is true. sent5: the fact that the hiccup is not a kind of a damp is not wrong if the fact that the instigator is not a kind of a cowbell and/or is a wavefront is wrong. sent6: the fact that the hiccup is a kind of a cranium is true if the instigator is diaphyseal. sent7: if something is not Thai then that it is a Mormonism and whiffs wetness does not hold. sent8: something is not a wavefront if it is a cranium. sent9: if that something is not non-pneumatics and not a deposit is not right the fact that it is not a cranium is right. sent10: if the hiccup is a deposit then it is not a kind of a cranium. sent11: something is not a Samia if it is concave. sent12: if the fact that something is a wavefront and not adamantine is wrong the fact that it does not deposit is right. sent13: the instigator does not whiff reactor if it is diaphyseal. sent14: something does not whiff reactor but it is adamantine if it is diaphyseal. sent15: the fact that something is not non-pneumatics and not a deposit is wrong if it is not a kind of a damp. sent16: if that the Canuck is not a cranium hold then that it is appositional and it monetizes Rosmarinus is not true. ; $proof$ = 
sent14 -> int1: the instigator does not whiff reactor but it is adamantine if that it is diaphyseal hold.; void -> assump1: Let's assume that the instigator is diaphyseal.; int1 & assump1 -> int2: the instigator does not whiff reactor and is adamantine.; int2 -> int3: the instigator is adamantine.; int3 & sent3 -> int4: that either the instigator is not a kind of a cowbell or it is not a wavefront or both does not hold.; sent15 -> int5: if the hiccup is not a damp then that it is pneumatics and it is not a deposit is not correct.; sent9 -> int6: if that the hiccup is both pneumatics and not a deposit is not true it is not a kind of a cranium.; __UNKNOWN__