このもちゃもよLv.63は少なし
fact1: 仮に何らかのモンスターが御答えないならばそれが誤り無いしその上それは快い fact2: もしもこのもちゃもよLv.63が娘らしくないならあのぷねぷなLv.98はクロックアップしない fact3: もし仮になんらかのモンスターがクロックアップしないとするとそれは少なしないけどスポーツマンらしい fact4: 仮にあのぷねぷなLv.98が御答えないがしかしそれが快いとしたらスポーツマンらしい fact5: このぽやぽえLv.51は誤り無い fact6: もしあのぷねぷなLv.98が少なしないけれどそれがスポーツマンらしいとしたらこのぽやぽえLv.51は御答えない fact7: 「もしも「誤り無い」モンスターがいるとしたらあのぷねぷなLv.98は御答えない一方で快い」ということは誤っていない fact8: もし仮にあのぷねぷなLv.98がスポーツマンらしいならばこのもちゃもよLv.63は少なし fact9: 仮に「スポーツマンらしい」モンスターがいるとするとあのぷねぷなLv.98は御答えないがしかし快い
fact5 -> int1: 「誤り無い」モンスターはいる; int1 & fact7 -> int2: あのぷねぷなLv.98は御答えないけれどそれは快い; int2 & fact4 -> int3: あのぷねぷなLv.98はスポーツマンらしい; int3 & fact8 -> hypothesis;
fact5 -> int1: (Ex): {A}x; int1 & fact7 -> int2: (¬{B}{a} & {C}{a}); int2 & fact4 -> int3: {D}{a}; int3 & fact8 -> hypothesis;
このぽやぽえLv.51は快い
fact10 -> int4: もしもこのぽやぽえLv.51が御答えないとすればこのぽやぽえLv.51は誤り無いしそれに快い; fact13 -> int5: もしあのぷねぷなLv.98がクロックアップしないならばそれは少なしということはないがスポーツマンらしい;
$facts$ = fact1: 仮に何らかのモンスターが御答えないならばそれが誤り無いしその上それは快い fact2: もしもこのもちゃもよLv.63が娘らしくないならあのぷねぷなLv.98はクロックアップしない fact3: もし仮になんらかのモンスターがクロックアップしないとするとそれは少なしないけどスポーツマンらしい fact4: 仮にあのぷねぷなLv.98が御答えないがしかしそれが快いとしたらスポーツマンらしい fact5: このぽやぽえLv.51は誤り無い fact6: もしあのぷねぷなLv.98が少なしないけれどそれがスポーツマンらしいとしたらこのぽやぽえLv.51は御答えない fact7: 「もしも「誤り無い」モンスターがいるとしたらあのぷねぷなLv.98は御答えない一方で快い」ということは誤っていない fact8: もし仮にあのぷねぷなLv.98がスポーツマンらしいならばこのもちゃもよLv.63は少なし fact9: 仮に「スポーツマンらしい」モンスターがいるとするとあのぷねぷなLv.98は御答えないがしかし快い ; $hypothesis$ = このもちゃもよLv.63は少なし ; $proof$ = 
fact5 -> int1: 「誤り無い」モンスターはいる; int1 & fact7 -> int2: あのぷねぷなLv.98は御答えないけれどそれは快い; int2 & fact4 -> int3: あのぷねぷなLv.98はスポーツマンらしい; int3 & fact8 -> hypothesis; __PROVED__
fact5 -> int1: (Ex): {A}x; int1 & fact7 -> int2: (¬{B}{a} & {C}{a}); int2 & fact4 -> int3: {D}{a}; int3 & fact8 -> hypothesis; __PROVED__