if the zootoxin is not epicyclic then the sparid occidentalizes Sauk and is not plus.
sent1: the zootoxin does horripilate requested. sent2: The Sauk does occidentalize sparid. sent3: the zootoxin does not occidentalize Sauk. sent4: the fern is plus. sent5: the odalisque does occidentalize Sauk and does not divaricate. sent6: if the zootoxin is epicyclic then the sparid does occidentalize Sauk but it is not plus. sent7: if the zootoxin is a Asphodelus then that it is epicyclic is not false. sent8: the anticholinergic is not plus. sent9: the skirret is not plus. sent10: the sparid is not a commissioner. sent11: the sparid does occidentalize Sauk. sent12: the sparid is epicyclic thing that is not a Asphodelus if that the zootoxin is not plus is right. sent13: the sparid is not plus if the zootoxin is not a Asphodelus. sent14: the sparid is Tasmanian but it is not a kind of a tanbark. sent15: the sparid is a refusal. sent16: the zootoxin is plus. sent17: the sparid is not a prick. sent18: the zootoxin is epicyclic but it is not plus if the sparid is not a Asphodelus. sent19: the sparid is a kind of a Asphodelus. sent20: the Styrofoam is not plus. sent21: the sparid is not non-anasarcous. sent22: the film is not plus.
void -> assump2: Let's assume that the zootoxin is a Asphodelus.; sent7 & assump2 -> int1: the zootoxin is epicyclic.; void -> assump1: Let's assume that the zootoxin is not epicyclic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the zootoxin is not a kind of a Asphodelus.; int3 & sent13 -> int4: the sparid is not plus.; int4 & sent11 -> int5: the sparid occidentalizes Sauk and is not plus.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the zootoxin is not epicyclic then the sparid occidentalizes Sauk and is not plus. ; $context$ = sent1: the zootoxin does horripilate requested. sent2: The Sauk does occidentalize sparid. sent3: the zootoxin does not occidentalize Sauk. sent4: the fern is plus. sent5: the odalisque does occidentalize Sauk and does not divaricate. sent6: if the zootoxin is epicyclic then the sparid does occidentalize Sauk but it is not plus. sent7: if the zootoxin is a Asphodelus then that it is epicyclic is not false. sent8: the anticholinergic is not plus. sent9: the skirret is not plus. sent10: the sparid is not a commissioner. sent11: the sparid does occidentalize Sauk. sent12: the sparid is epicyclic thing that is not a Asphodelus if that the zootoxin is not plus is right. sent13: the sparid is not plus if the zootoxin is not a Asphodelus. sent14: the sparid is Tasmanian but it is not a kind of a tanbark. sent15: the sparid is a refusal. sent16: the zootoxin is plus. sent17: the sparid is not a prick. sent18: the zootoxin is epicyclic but it is not plus if the sparid is not a Asphodelus. sent19: the sparid is a kind of a Asphodelus. sent20: the Styrofoam is not plus. sent21: the sparid is not non-anasarcous. sent22: the film is not plus. ; $proof$ = 
void -> assump2: Let's assume that the zootoxin is a Asphodelus.; sent7 & assump2 -> int1: the zootoxin is epicyclic.; void -> assump1: Let's assume that the zootoxin is not epicyclic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the zootoxin is not a kind of a Asphodelus.; int3 & sent13 -> int4: the sparid is not plus.; int4 & sent11 -> int5: the sparid occidentalizes Sauk and is not plus.; [assump1] & int5 -> hypothesis; __PROVED__