the dilutant is not cationic if the splasher impersonates Gluck.
sent1: the splasher is not cationic. sent2: the dilutant does not unwrap track if the whiz does unwrap track and it is a kind of a windowpane. sent3: if either the splasher is a deep-freeze or it is cationic or both the dilutant does not impersonate Gluck. sent4: the dilutant does not spiel walkingstick. sent5: if the splasher does impersonate Gluck the dilutant is cationic. sent6: something that does not unwrap track does not impersonate Gluck and unwraps pad. sent7: the opah is cationic. sent8: the dilutant impersonates Gluck. sent9: if the dilutant is a kind of a deep-freeze and/or it is cationic the splasher does impersonate Gluck. sent10: the whiz does not spiel pervaporation if the Shaker does not spiel pervaporation but it spiels opah. sent11: something unwraps track and is a windowpane if it does not spiel pervaporation. sent12: the Shaker does spiel Arlington. sent13: if the dilutant is a kind of a deep-freeze the splasher does not impersonate Gluck. sent14: the dilutant is diclinous. sent15: if the fact that something spiels pervaporation and does not unwrap dilutant is false it does not spiels pervaporation. sent16: the splasher is both not a deep-freeze and not cationic if the dilutant does not impersonate Gluck. sent17: if the Shaker spiels Arlington then the fact that it spiels pervaporation and does not unwrap dilutant does not hold.
void -> assump1: Let's assume that the dilutant is cationic.; assump1 -> int1: the dilutant is a deep-freeze and/or it is cationic.;
the splasher is not cationic.
sent6 -> int2: if the dilutant does not unwrap track then it does not impersonate Gluck and it does unwrap pad.; sent11 -> int3: if the fact that the whiz does not spiel pervaporation is true it does unwrap track and it is a windowpane.; sent15 -> int4: if the fact that the Shaker spiels pervaporation and does not unwrap dilutant is wrong then it does not spiels pervaporation.; sent17 & sent12 -> int5: that the Shaker does spiel pervaporation but it does not unwrap dilutant is not true.; int4 & int5 -> int6: the Shaker does not spiel pervaporation.;
$hypothesis$ = the dilutant is not cationic if the splasher impersonates Gluck. ; $context$ = sent1: the splasher is not cationic. sent2: the dilutant does not unwrap track if the whiz does unwrap track and it is a kind of a windowpane. sent3: if either the splasher is a deep-freeze or it is cationic or both the dilutant does not impersonate Gluck. sent4: the dilutant does not spiel walkingstick. sent5: if the splasher does impersonate Gluck the dilutant is cationic. sent6: something that does not unwrap track does not impersonate Gluck and unwraps pad. sent7: the opah is cationic. sent8: the dilutant impersonates Gluck. sent9: if the dilutant is a kind of a deep-freeze and/or it is cationic the splasher does impersonate Gluck. sent10: the whiz does not spiel pervaporation if the Shaker does not spiel pervaporation but it spiels opah. sent11: something unwraps track and is a windowpane if it does not spiel pervaporation. sent12: the Shaker does spiel Arlington. sent13: if the dilutant is a kind of a deep-freeze the splasher does not impersonate Gluck. sent14: the dilutant is diclinous. sent15: if the fact that something spiels pervaporation and does not unwrap dilutant is false it does not spiels pervaporation. sent16: the splasher is both not a deep-freeze and not cationic if the dilutant does not impersonate Gluck. sent17: if the Shaker spiels Arlington then the fact that it spiels pervaporation and does not unwrap dilutant does not hold. ; $proof$ = 
void -> assump1: Let's assume that the dilutant is cationic.; assump1 -> int1: the dilutant is a deep-freeze and/or it is cationic.; __UNKNOWN__