that the khimar is a demand and not a nursing does not hold.
sent1: if the headrace is not a nursing the fact that the khimar is both a demand and not a nursing does not hold. sent2: if the sugarcane clings funds it does not untune myriad. sent3: if the fact that something is a kind of a needlefish and does not nurse is wrong then it untunes myriad. sent4: if the fact that the sugarcane does not untune myriad is correct then the headrace is not a kind of a needlefish and it is not a kind of a nursing. sent5: if that the sugarcane is not a kind of a needlefish but it nurses does not hold it does cling funds. sent6: the fact that the sugarcane is not a kind of a Michaelmastide and does not cling funds is not right if the assassin does not untune hazard. sent7: something does not untune myriad if that the fact that it is not a Michaelmastide and does not cling funds hold is not true. sent8: the quoter demands. sent9: the hypochlorite is not a nursing. sent10: if something does untune hazard the fact that the fact that it does cling funds is not wrong does not hold. sent11: if something is a demand then the fact that it is a kind of a needlefish and it does not nurse is not right. sent12: something that does cling funds is not a Michaelmastide and not a moonshell. sent13: everything is not a kind of a moonshell. sent14: that the headrace untunes hazard and it is a kind of a needlefish is wrong.
void -> assump1: Let's assume that that the assassin does not untune hazard and does bespangle does not hold.; sent13 -> int1: the fact that the assassin is not a kind of a moonshell is not false.; sent7 -> int2: if the fact that the sugarcane is not a Michaelmastide and does not cling funds does not hold then it does not untune myriad.;
the fact that the quoter is not a Michaelmastide hold.
sent12 -> int3: if the quoter clings funds then it is not a Michaelmastide and it is not a moonshell.; sent3 -> int4: the quoter does untune myriad if that it is a needlefish and it does not nurse is incorrect.; sent11 -> int5: that the quoter is a kind of a needlefish that is not a nursing is incorrect if it is a demand.; int5 & sent8 -> int6: that that the quoter is a needlefish that is not a nursing hold is wrong.; int4 & int6 -> int7: the quoter does untune myriad.;
$hypothesis$ = that the khimar is a demand and not a nursing does not hold. ; $context$ = sent1: if the headrace is not a nursing the fact that the khimar is both a demand and not a nursing does not hold. sent2: if the sugarcane clings funds it does not untune myriad. sent3: if the fact that something is a kind of a needlefish and does not nurse is wrong then it untunes myriad. sent4: if the fact that the sugarcane does not untune myriad is correct then the headrace is not a kind of a needlefish and it is not a kind of a nursing. sent5: if that the sugarcane is not a kind of a needlefish but it nurses does not hold it does cling funds. sent6: the fact that the sugarcane is not a kind of a Michaelmastide and does not cling funds is not right if the assassin does not untune hazard. sent7: something does not untune myriad if that the fact that it is not a Michaelmastide and does not cling funds hold is not true. sent8: the quoter demands. sent9: the hypochlorite is not a nursing. sent10: if something does untune hazard the fact that the fact that it does cling funds is not wrong does not hold. sent11: if something is a demand then the fact that it is a kind of a needlefish and it does not nurse is not right. sent12: something that does cling funds is not a Michaelmastide and not a moonshell. sent13: everything is not a kind of a moonshell. sent14: that the headrace untunes hazard and it is a kind of a needlefish is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the assassin does not untune hazard and does bespangle does not hold.; sent13 -> int1: the fact that the assassin is not a kind of a moonshell is not false.; sent7 -> int2: if the fact that the sugarcane is not a Michaelmastide and does not cling funds does not hold then it does not untune myriad.; __UNKNOWN__