the novobiocin is not a tripe.
sent1: there exists something such that that it is corporeal and mediatorial is not right. sent2: if the tellurium is a piton the cousin is a piton. sent3: the talcum is representational if an ancestral thing does not falsify. sent4: the thermojunction is a kind of a piton or it is adoptive or both if there is something such that it is a piton. sent5: that if the thermojunction is adoptive then the tellurium is a piton is right. sent6: the fulcrum is Puranic. sent7: if the fact that the thermojunction is a piton hold then the tellurium is a piton. sent8: if something is a surrejoinder the fact that it is a piton is not false. sent9: the fact that the talcum is a kind of a surrejoinder hold if it is representational. sent10: if something is Puranic it effloresces. sent11: the novobiocin is not a tripe if there exists something such that it is not corporeal. sent12: that something is corporeal but it is not mediatorial is not right if it is Puranic. sent13: the fact that if there exists something such that that it is corporeal thing that is not mediatorial is not correct then the novobiocin is not a tripe is right. sent14: there are corporeal and non-mediatorial things. sent15: if the cousin is a kind of a piton that it is not a tripe and it is not evolutionary is not true. sent16: there is something such that it is ancestral and it does not falsify.
sent12 -> int1: the fact that the fulcrum is corporeal but it is not mediatorial is not right if it is Puranic.; int1 & sent6 -> int2: the fact that the fulcrum is corporeal but it is not mediatorial is not true.; int2 -> int3: there exists something such that the fact that it is corporeal and it is not mediatorial does not hold.; int3 & sent13 -> hypothesis;
the novobiocin effloresces.
sent10 -> int4: the novobiocin effloresces if it is Puranic.; sent8 -> int5: if the talcum is a surrejoinder then it is a piton.; sent16 & sent3 -> int6: the fact that the talcum is representational hold.; sent9 & int6 -> int7: the talcum is a surrejoinder.; int5 & int7 -> int8: the talcum is a piton.; int8 -> int9: there exists something such that it is a piton.; int9 & sent4 -> int10: the thermojunction is either a piton or adoptive or both.; int10 & sent7 & sent5 -> int11: the tellurium is a piton.; sent2 & int11 -> int12: the cousin is a kind of a piton.; sent15 & int12 -> int13: that the cousin is both not a tripe and not evolutionary is false.; int13 -> int14: there exists something such that that it is not a tripe and not evolutionary is not correct.;
$hypothesis$ = the novobiocin is not a tripe. ; $context$ = sent1: there exists something such that that it is corporeal and mediatorial is not right. sent2: if the tellurium is a piton the cousin is a piton. sent3: the talcum is representational if an ancestral thing does not falsify. sent4: the thermojunction is a kind of a piton or it is adoptive or both if there is something such that it is a piton. sent5: that if the thermojunction is adoptive then the tellurium is a piton is right. sent6: the fulcrum is Puranic. sent7: if the fact that the thermojunction is a piton hold then the tellurium is a piton. sent8: if something is a surrejoinder the fact that it is a piton is not false. sent9: the fact that the talcum is a kind of a surrejoinder hold if it is representational. sent10: if something is Puranic it effloresces. sent11: the novobiocin is not a tripe if there exists something such that it is not corporeal. sent12: that something is corporeal but it is not mediatorial is not right if it is Puranic. sent13: the fact that if there exists something such that that it is corporeal thing that is not mediatorial is not correct then the novobiocin is not a tripe is right. sent14: there are corporeal and non-mediatorial things. sent15: if the cousin is a kind of a piton that it is not a tripe and it is not evolutionary is not true. sent16: there is something such that it is ancestral and it does not falsify. ; $proof$ = 
sent12 -> int1: the fact that the fulcrum is corporeal but it is not mediatorial is not right if it is Puranic.; int1 & sent6 -> int2: the fact that the fulcrum is corporeal but it is not mediatorial is not true.; int2 -> int3: there exists something such that the fact that it is corporeal and it is not mediatorial does not hold.; int3 & sent13 -> hypothesis; __PROVED__