そのぽちゃぽちゃLv.71はし難くておまけに青白い
fact1: あのぽちゅぽねLv.49は狭過ぎる fact2: 仮に「厚かましい」モンスターがいるとするとそのぽちゃぽちゃLv.71は青白い fact3: もしも「狭過ぎるか厚かましいかあるいは両方ともな」モンスターがいるとすればそのぽちゃぽちゃLv.71は青白い fact4: もしそのぽちゃぽちゃLv.71が青白くないならばあのぷにゅぷよLv.4は青白くない fact5: あらゆるモンスターは茶色っぽいということはなくてさらにそれは厳くない fact6: あるモンスターが厳くないとしたら認め難いかそれは青白くないか両方だ fact7: あのぽちゅぽねLv.49は安し fact8: そのぽちゃぽちゃLv.71はし難い
fact1 -> int1: 「あのぽちゅぽねLv.49は狭過ぎるかもしくは厚かましいかまたは両方ともである」ということは本当である; int1 -> int2: 「狭過ぎるかあるいは厚かましいかあるいは両方な」モンスターはいる; int2 & fact3 -> int3: そのぽちゃぽちゃLv.71は青白い; int3 & fact8 -> hypothesis;
fact1 -> int1: ({A}{aa} v {B}{aa}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> int3: {C}{a}; int3 & fact8 -> hypothesis;
あのぷにゅぷよLv.4はし難い
fact9 -> int4: もしあのぴよぴにゅLv.45が厳くないならばそれは認め難いかあるいはそれは青白くない; fact10 -> int5: そのぴのぴにゃLv.22は茶色っぽくないしかつ厳くない; int5 -> int6: そのぴのぴにゃLv.22は厳くない; int6 -> int7: すべてのモンスターは厳くない; int7 -> int8: あのぴよぴにゅLv.45は厳くない; int4 & int8 -> int9: あのぴよぴにゅLv.45は認め難いかあるいは青白くないか両方ともである; int9 -> int10: 全てのモンスターは認め難いかあるいはそれは青白くない; int10 -> int11: そのぽちゃぽちゃLv.71は認め難いかまたは青白くないかもしくは両方ともだ;
$facts$ = fact1: あのぽちゅぽねLv.49は狭過ぎる fact2: 仮に「厚かましい」モンスターがいるとするとそのぽちゃぽちゃLv.71は青白い fact3: もしも「狭過ぎるか厚かましいかあるいは両方ともな」モンスターがいるとすればそのぽちゃぽちゃLv.71は青白い fact4: もしそのぽちゃぽちゃLv.71が青白くないならばあのぷにゅぷよLv.4は青白くない fact5: あらゆるモンスターは茶色っぽいということはなくてさらにそれは厳くない fact6: あるモンスターが厳くないとしたら認め難いかそれは青白くないか両方だ fact7: あのぽちゅぽねLv.49は安し fact8: そのぽちゃぽちゃLv.71はし難い ; $hypothesis$ = そのぽちゃぽちゃLv.71はし難くておまけに青白い ; $proof$ = 
fact1 -> int1: 「あのぽちゅぽねLv.49は狭過ぎるかもしくは厚かましいかまたは両方ともである」ということは本当である; int1 -> int2: 「狭過ぎるかあるいは厚かましいかあるいは両方な」モンスターはいる; int2 & fact3 -> int3: そのぽちゃぽちゃLv.71は青白い; int3 & fact8 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{aa} v {B}{aa}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact3 -> int3: {C}{a}; int3 & fact8 -> hypothesis; __PROVED__