このぷにょぷちゃLv.35は嫉妬深くない
fact1: もしあのまよまのLv.74が見出だし難いならばそれは後ろ暗い fact2: あのまよまのLv.74が難いかまたはそれが後ろ暗いかまたは両方ともであるとすればこのぷにょぷちゃLv.35は嫉妬深くない fact3: あのまよまのLv.74は見出だし難い fact4: もし仮にあのまよまのLv.74が難いとしたらこのぷにょぷちゃLv.35は嫉妬深くない
fact1 & fact3 -> int1: あのまよまのLv.74は後ろ暗い; int1 -> int2: あのまよまのLv.74は難いかそれは後ろ暗い; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: もしあのまよまのLv.74が見出だし難いならばそれは後ろ暗い fact2: あのまよまのLv.74が難いかまたはそれが後ろ暗いかまたは両方ともであるとすればこのぷにょぷちゃLv.35は嫉妬深くない fact3: あのまよまのLv.74は見出だし難い fact4: もし仮にあのまよまのLv.74が難いとしたらこのぷにょぷちゃLv.35は嫉妬深くない ; $hypothesis$ = このぷにょぷちゃLv.35は嫉妬深くない ; $proof$ = 
fact1 & fact3 -> int1: あのまよまのLv.74は後ろ暗い; int1 -> int2: あのまよまのLv.74は難いかそれは後ろ暗い; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact2 -> hypothesis; __PROVED__