the pothook is not acidimetric but it is a Demulen.
sent1: that the pothook is not a kind of a spill and it is not acidimetric is incorrect if the fact that the notochord is not a Demulen is right. sent2: that if that something is not moneyless but it is focal is not right it is not psychometric is right. sent3: if the streptomycin is not a kind of a spill and it is not a kind of a Kreisler then the notochord is not a canopy. sent4: if that the streptomycin is focal and it is psychometric is not correct the notochord does not dominate mesenchyme. sent5: the pothook canopies and it is a kind of a Kreisler. sent6: the alkaloid is a kind of a spill. sent7: if the notochord is not non-bursal then it is not a kind of a Demulen and does not dominate mesenchyme. sent8: the pothook does spill and it is a shingler. sent9: that the deification is a kind of moneyed thing that is focal does not hold if the hoofer is not a veld. sent10: something is not a shingler or it is not bursal or both if it does not dominate mesenchyme. sent11: everything is not moneyless. sent12: if the notochord is not a kind of a shingler or it is not bursal or both then it is not a Demulen. sent13: the streptomycin is not a spill and is not a kind of a Kreisler if the stain is not a shingler. sent14: the oxbow is not a kind of a canopy and does not dominate streptomycin if the pothook is not a kind of a Kreisler. sent15: if a canopy is acidimetric then it does not spill. sent16: if the notochord is not a Demulen and it does not dominate mesenchyme the pothook is a Demulen. sent17: if the deification is not psychometric the fact that it is bursal thing that does dominate mesenchyme is not true. sent18: if the fact that the hoofer is Tongan thing that does symbolize Poncirus is incorrect it is not a veld.
sent5 -> int1: the pothook is a canopy.; void -> assump1: Let's assume that the pothook is acidimetric.; int1 & assump1 -> int2: the pothook is both a canopy and acidimetric.; sent15 -> int3: the pothook is not a kind of a spill if it is a canopy and it is acidimetric.; int2 & int3 -> int4: the pothook is not a kind of a spill.; sent8 -> int5: the pothook is a kind of a spill.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the pothook is not acidimetric.;
the oxbow does not canopy and it does not dominate streptomycin.
sent11 -> int8: the stain is not moneyless.; sent10 -> int9: if the notochord does not dominate mesenchyme it is not a kind of a shingler or is not bursal or both.;
$hypothesis$ = the pothook is not acidimetric but it is a Demulen. ; $context$ = sent1: that the pothook is not a kind of a spill and it is not acidimetric is incorrect if the fact that the notochord is not a Demulen is right. sent2: that if that something is not moneyless but it is focal is not right it is not psychometric is right. sent3: if the streptomycin is not a kind of a spill and it is not a kind of a Kreisler then the notochord is not a canopy. sent4: if that the streptomycin is focal and it is psychometric is not correct the notochord does not dominate mesenchyme. sent5: the pothook canopies and it is a kind of a Kreisler. sent6: the alkaloid is a kind of a spill. sent7: if the notochord is not non-bursal then it is not a kind of a Demulen and does not dominate mesenchyme. sent8: the pothook does spill and it is a shingler. sent9: that the deification is a kind of moneyed thing that is focal does not hold if the hoofer is not a veld. sent10: something is not a shingler or it is not bursal or both if it does not dominate mesenchyme. sent11: everything is not moneyless. sent12: if the notochord is not a kind of a shingler or it is not bursal or both then it is not a Demulen. sent13: the streptomycin is not a spill and is not a kind of a Kreisler if the stain is not a shingler. sent14: the oxbow is not a kind of a canopy and does not dominate streptomycin if the pothook is not a kind of a Kreisler. sent15: if a canopy is acidimetric then it does not spill. sent16: if the notochord is not a Demulen and it does not dominate mesenchyme the pothook is a Demulen. sent17: if the deification is not psychometric the fact that it is bursal thing that does dominate mesenchyme is not true. sent18: if the fact that the hoofer is Tongan thing that does symbolize Poncirus is incorrect it is not a veld. ; $proof$ = 
sent5 -> int1: the pothook is a canopy.; void -> assump1: Let's assume that the pothook is acidimetric.; int1 & assump1 -> int2: the pothook is both a canopy and acidimetric.; sent15 -> int3: the pothook is not a kind of a spill if it is a canopy and it is acidimetric.; int2 & int3 -> int4: the pothook is not a kind of a spill.; sent8 -> int5: the pothook is a kind of a spill.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the pothook is not acidimetric.; __UNKNOWN__