the biochip is unwomanly.
sent1: if the quaestor is not cardiac then the chaser is not cardiac and is not a kind of a watt-hour. sent2: that the quaestor is synovial and does exterminate is wrong. sent3: the quaestor is not a pewter and does not resect team if that the biochip is not a pewter is not wrong. sent4: that the biochip does not resect team if that the biochip is not a watt-hour but synovial is not true hold. sent5: the quaestor is not cardiac if that it is not synovial and does exterminate is not true. sent6: the chaser is not cardiac and does resect team. sent7: the biochip is not a kind of a watt-hour. sent8: the biochip is not a pewter if it is both not unwomanly and cardiac. sent9: if that the quaestor is not a watt-hour is not wrong that the biochip is a kind of a pewter and it is cardiac is not true. sent10: the biochip is not a pewter but it does resect team if the chaser is not a pewter. sent11: if the quaestor is synovial then it is not cardiac. sent12: the fact that if something is not cardiac and it is not a kind of a watt-hour the fact that it is not a pewter is correct is true. sent13: the fact that the quaestor is a kind of non-synovial thing that exterminates does not hold. sent14: if something is not a pewter and is not cardiac then the fact that it is not synovial is right. sent15: something that does not untune seismography and is a trill is hypertonic. sent16: if the chaser is not synovial but it is cardiac it is not unwomanly.
sent5 & sent13 -> int1: the quaestor is not cardiac.; int1 & sent1 -> int2: the chaser is not cardiac and it is not a watt-hour.; sent12 -> int3: the chaser is not a pewter if it is non-cardiac and it is not a kind of a watt-hour.; int2 & int3 -> int4: the chaser is not a pewter.; int4 & sent10 -> int5: the biochip is not a pewter and resects team.;
the biochip is not unwomanly.
$hypothesis$ = the biochip is unwomanly. ; $context$ = sent1: if the quaestor is not cardiac then the chaser is not cardiac and is not a kind of a watt-hour. sent2: that the quaestor is synovial and does exterminate is wrong. sent3: the quaestor is not a pewter and does not resect team if that the biochip is not a pewter is not wrong. sent4: that the biochip does not resect team if that the biochip is not a watt-hour but synovial is not true hold. sent5: the quaestor is not cardiac if that it is not synovial and does exterminate is not true. sent6: the chaser is not cardiac and does resect team. sent7: the biochip is not a kind of a watt-hour. sent8: the biochip is not a pewter if it is both not unwomanly and cardiac. sent9: if that the quaestor is not a watt-hour is not wrong that the biochip is a kind of a pewter and it is cardiac is not true. sent10: the biochip is not a pewter but it does resect team if the chaser is not a pewter. sent11: if the quaestor is synovial then it is not cardiac. sent12: the fact that if something is not cardiac and it is not a kind of a watt-hour the fact that it is not a pewter is correct is true. sent13: the fact that the quaestor is a kind of non-synovial thing that exterminates does not hold. sent14: if something is not a pewter and is not cardiac then the fact that it is not synovial is right. sent15: something that does not untune seismography and is a trill is hypertonic. sent16: if the chaser is not synovial but it is cardiac it is not unwomanly. ; $proof$ = 
sent5 & sent13 -> int1: the quaestor is not cardiac.; int1 & sent1 -> int2: the chaser is not cardiac and it is not a watt-hour.; sent12 -> int3: the chaser is not a pewter if it is non-cardiac and it is not a kind of a watt-hour.; int2 & int3 -> int4: the chaser is not a pewter.; int4 & sent10 -> int5: the biochip is not a pewter and resects team.; __UNKNOWN__