the puku is an ecosystem.
sent1: the puku birls if it does undulate and it does not spend Orczy. sent2: The Orczy does not spend puku. sent3: the fact that the puku does undulate hold if it is not hermeneutic. sent4: if something is not artificial then it is an ecosystem. sent5: if something is unrespectable then it is not hermeneutic. sent6: the puku does not spend Orczy. sent7: the puku does not birl.
sent5 -> int1: the fact that if the puku is unrespectable the fact that the puku is not hermeneutic is correct is true.; void -> assump1: Let's assume that the puku is unrespectable.; int1 & assump1 -> int2: the puku is not hermeneutic.; int2 & sent3 -> int3: the puku does undulate.; int3 & sent6 -> int4: the puku does undulate and does not spend Orczy.; int4 & sent1 -> int5: the puku does birl.; int5 & sent7 -> int6: this is contradiction.; [assump1] & int6 -> int7: the puku is not unrespectable.; sent4 -> int8: the puku is an ecosystem if it is not artificial.;
$hypothesis$ = the puku is an ecosystem. ; $context$ = sent1: the puku birls if it does undulate and it does not spend Orczy. sent2: The Orczy does not spend puku. sent3: the fact that the puku does undulate hold if it is not hermeneutic. sent4: if something is not artificial then it is an ecosystem. sent5: if something is unrespectable then it is not hermeneutic. sent6: the puku does not spend Orczy. sent7: the puku does not birl. ; $proof$ = 
sent5 -> int1: the fact that if the puku is unrespectable the fact that the puku is not hermeneutic is correct is true.; void -> assump1: Let's assume that the puku is unrespectable.; int1 & assump1 -> int2: the puku is not hermeneutic.; int2 & sent3 -> int3: the puku does undulate.; int3 & sent6 -> int4: the puku does undulate and does not spend Orczy.; int4 & sent1 -> int5: the puku does birl.; int5 & sent7 -> int6: this is contradiction.; [assump1] & int6 -> int7: the puku is not unrespectable.; sent4 -> int8: the puku is an ecosystem if it is not artificial.; __UNKNOWN__