the macedoine is not a kind of a interrogative and it is not invertible if the astrogator is not efficient.
sent1: the astrogator is non-invertible if the macedoine is not efficient. sent2: if that something is not postpositive is correct then it is not a kind of a void. sent3: if the astrogator is not a liability but it is a cereal the macedoine is not a flightiness. sent4: the astrogator is not invertible. sent5: the macedoine is not cereal but it is interrogative. sent6: the macedoine is not a cereal but it is invertible. sent7: something does not contest and it does not outgeneral dander if it is not a khakis. sent8: something that is not a embitterment does not billow Transfiguration and does shore dribble. sent9: something is non-anaerobic a phosphine if it is efficient. sent10: the oligarch is not a kind of a liability. sent11: the astrogator is not a kind of a flightiness. sent12: something that is not efficient is both not a liability and a cereal. sent13: if the astrogator is not a cereal but it is a flightiness then the macedoine is not efficient. sent14: the fascicle does not ingrain and is a porthole. sent15: the macedoine is not cereal and not a flightiness if it is not efficient. sent16: if the soloist is not interrogative it is efficient and a flightiness. sent17: something does not billow isostasy but it is an alderman if it is not a bactericide.
sent12 -> int1: the astrogator is not a liability and is cereal if it is not efficient.; void -> assump1: Let's assume that the astrogator is not efficient.; int1 & assump1 -> int2: the astrogator is not a liability and is a cereal.; int2 & sent3 -> int3: the macedoine is not a flightiness.;
the soloist is a kind of non-anaerobic thing that is a phosphine.
sent9 -> int4: the soloist is not anaerobic but it is a kind of a phosphine if that it is efficient is not wrong.;
$hypothesis$ = the macedoine is not a kind of a interrogative and it is not invertible if the astrogator is not efficient. ; $context$ = sent1: the astrogator is non-invertible if the macedoine is not efficient. sent2: if that something is not postpositive is correct then it is not a kind of a void. sent3: if the astrogator is not a liability but it is a cereal the macedoine is not a flightiness. sent4: the astrogator is not invertible. sent5: the macedoine is not cereal but it is interrogative. sent6: the macedoine is not a cereal but it is invertible. sent7: something does not contest and it does not outgeneral dander if it is not a khakis. sent8: something that is not a embitterment does not billow Transfiguration and does shore dribble. sent9: something is non-anaerobic a phosphine if it is efficient. sent10: the oligarch is not a kind of a liability. sent11: the astrogator is not a kind of a flightiness. sent12: something that is not efficient is both not a liability and a cereal. sent13: if the astrogator is not a cereal but it is a flightiness then the macedoine is not efficient. sent14: the fascicle does not ingrain and is a porthole. sent15: the macedoine is not cereal and not a flightiness if it is not efficient. sent16: if the soloist is not interrogative it is efficient and a flightiness. sent17: something does not billow isostasy but it is an alderman if it is not a bactericide. ; $proof$ = 
sent12 -> int1: the astrogator is not a liability and is cereal if it is not efficient.; void -> assump1: Let's assume that the astrogator is not efficient.; int1 & assump1 -> int2: the astrogator is not a liability and is a cereal.; int2 & sent3 -> int3: the macedoine is not a flightiness.; __UNKNOWN__