the Scotch is a Pyxidanthera and it does freight.
sent1: the glacier is a kind of quadratic thing that does not remove ukase if it does not skitter. sent2: the Scotch is a freight if it is a progymnosperm. sent3: the Scotch removes submitter. sent4: either something freights or it is an instantiation or both. sent5: the Scotch freights if the fact that it is not unprofitable and not a progymnosperm is not right. sent6: if the glacier is not non-quadratic but it does not remove ukase the Snow is not impotent. sent7: if the glacier skitters then the toetoe does remove submitter. sent8: the glacier is a freight. sent9: if the glacier is phlegmy then that the toetoe does skitter is not incorrect. sent10: if something is phlegmy then that it is a kind of non-impotent thing that does not remove submitter is not correct. sent11: the Scotch is a Pyxidanthera if something that does remove submitter is phlegmy. sent12: the fact that something is a Pyxidanthera and it freights is false if it does not skitter. sent13: the glacier is not non-phlegmy and it is unprofitable if the Snow is not a progymnosperm. sent14: that the Snow is impotent is correct. sent15: that the Scotch is not unprofitable and not a progymnosperm is false. sent16: the Snow is a quadratic. sent17: if the glacier does not skitter then it is a kind of a quadratic.
void -> assump1: Let's assume that the glacier does not skitter.; sent1 & assump1 -> int1: the glacier is a kind of a quadratic but it does not remove ukase.; int1 & sent6 -> int2: the fact that the Snow is potent hold.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the glacier does skitter.; int4 & sent7 -> int5: the toetoe removes submitter.; sent5 & sent15 -> int6: the Scotch freights.;
the fact that the Scotch is a Pyxidanthera and it freights is wrong.
sent12 -> int7: if the Scotch does not skitter then that it is a Pyxidanthera and it is a freight does not hold.; sent10 -> int8: if that the glacier is phlegmy hold that it is not impotent and it does not remove submitter is not right.;
$hypothesis$ = the Scotch is a Pyxidanthera and it does freight. ; $context$ = sent1: the glacier is a kind of quadratic thing that does not remove ukase if it does not skitter. sent2: the Scotch is a freight if it is a progymnosperm. sent3: the Scotch removes submitter. sent4: either something freights or it is an instantiation or both. sent5: the Scotch freights if the fact that it is not unprofitable and not a progymnosperm is not right. sent6: if the glacier is not non-quadratic but it does not remove ukase the Snow is not impotent. sent7: if the glacier skitters then the toetoe does remove submitter. sent8: the glacier is a freight. sent9: if the glacier is phlegmy then that the toetoe does skitter is not incorrect. sent10: if something is phlegmy then that it is a kind of non-impotent thing that does not remove submitter is not correct. sent11: the Scotch is a Pyxidanthera if something that does remove submitter is phlegmy. sent12: the fact that something is a Pyxidanthera and it freights is false if it does not skitter. sent13: the glacier is not non-phlegmy and it is unprofitable if the Snow is not a progymnosperm. sent14: that the Snow is impotent is correct. sent15: that the Scotch is not unprofitable and not a progymnosperm is false. sent16: the Snow is a quadratic. sent17: if the glacier does not skitter then it is a kind of a quadratic. ; $proof$ = 
void -> assump1: Let's assume that the glacier does not skitter.; sent1 & assump1 -> int1: the glacier is a kind of a quadratic but it does not remove ukase.; int1 & sent6 -> int2: the fact that the Snow is potent hold.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the glacier does skitter.; int4 & sent7 -> int5: the toetoe removes submitter.; sent5 & sent15 -> int6: the Scotch freights.; __UNKNOWN__