if the zebra is altricial then the pen does destine pen.
sent1: if the zebra is altricial the nutriment is a cliff-brake. sent2: the zebra is not altricial if the nutriment is detachable and it does varnish. sent3: if something is not detachable then it destines pen. sent4: if there is something such that it is not tactile the nutriment does varnish. sent5: there exists something such that either it is a restfulness or it is not tactile or both. sent6: the pen does varnish if there is something such that it is detachable and/or it is not a cliff-brake. sent7: the nutriment is a kind of a varnish if there exists something such that it is a kind of a restfulness and/or it is not tactile. sent8: the pen is not detachable if the nutriment is a varnish and it is a cliff-brake. sent9: the pen is a cruiserweight and altricial. sent10: if something is not a Leiopelmatidae it is detachable. sent11: there is something such that it is a restfulness or it is tactile or both.
void -> assump1: Let's assume that the zebra is altricial.; sent1 & assump1 -> int1: the nutriment is a cliff-brake.; sent5 & sent7 -> int2: the nutriment is a varnish.; int1 & int2 -> int3: that the nutriment is a kind of a varnish that is a cliff-brake hold.; int3 & sent8 -> int4: the pen is not detachable.; sent3 -> int5: if the pen is not detachable then it destines pen.; int4 & int5 -> int6: the pen does destine pen.; [assump1] & int6 -> hypothesis;
the zebra is detachable if it is not a Leiopelmatidae.
sent10 -> hypothesis;
$hypothesis$ = if the zebra is altricial then the pen does destine pen. ; $context$ = sent1: if the zebra is altricial the nutriment is a cliff-brake. sent2: the zebra is not altricial if the nutriment is detachable and it does varnish. sent3: if something is not detachable then it destines pen. sent4: if there is something such that it is not tactile the nutriment does varnish. sent5: there exists something such that either it is a restfulness or it is not tactile or both. sent6: the pen does varnish if there is something such that it is detachable and/or it is not a cliff-brake. sent7: the nutriment is a kind of a varnish if there exists something such that it is a kind of a restfulness and/or it is not tactile. sent8: the pen is not detachable if the nutriment is a varnish and it is a cliff-brake. sent9: the pen is a cruiserweight and altricial. sent10: if something is not a Leiopelmatidae it is detachable. sent11: there is something such that it is a restfulness or it is tactile or both. ; $proof$ = 
void -> assump1: Let's assume that the zebra is altricial.; sent1 & assump1 -> int1: the nutriment is a cliff-brake.; sent5 & sent7 -> int2: the nutriment is a varnish.; int1 & int2 -> int3: that the nutriment is a kind of a varnish that is a cliff-brake hold.; int3 & sent8 -> int4: the pen is not detachable.; sent3 -> int5: if the pen is not detachable then it destines pen.; int4 & int5 -> int6: the pen does destine pen.; [assump1] & int6 -> hypothesis; __PROVED__