the tenon is not fictile if the pellet is not a kind of a tragopan.
sent1: there is something such that it is not a tragopan but a coop. sent2: there is something such that it is a tragopan and is not a coop. sent3: if something is both not a tragopan and not a coop then the tenon is not fictile. sent4: the pellet is not a coop.
void -> assump1: Let's assume that the pellet is not a tragopan.; assump1 & sent4 -> int1: the pellet is not a tragopan and it is not a coop.; int1 -> int2: there exists something such that it is not a tragopan and not a coop.; int2 & sent3 -> int3: the tenon is not fictile.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the tenon is not fictile if the pellet is not a kind of a tragopan. ; $context$ = sent1: there is something such that it is not a tragopan but a coop. sent2: there is something such that it is a tragopan and is not a coop. sent3: if something is both not a tragopan and not a coop then the tenon is not fictile. sent4: the pellet is not a coop. ; $proof$ = 
void -> assump1: Let's assume that the pellet is not a tragopan.; assump1 & sent4 -> int1: the pellet is not a tragopan and it is not a coop.; int1 -> int2: there exists something such that it is not a tragopan and not a coop.; int2 & sent3 -> int3: the tenon is not fictile.; [assump1] & int3 -> hypothesis; __PROVED__