「このぽにぽちゃLv.23は画すしおまけに戻し易い」ということは成り立たない
fact1: もし仮に京都らしくないモンスターが赤っぽいとすれば戻し易くない fact2: あのぷいぷわLv.46は好ましくない fact3: もしこのぽにぽちゃLv.23があどけないならこのぽにぽちゃLv.23は画す fact4: このぽにぽちゃLv.23が京都らしいとするとそれは若者らしい fact5: もしもこのぽにぽちゃLv.23は若者らしいとしたら「それはあどけない」ということは本当である fact6: もしもあのぷいぷわLv.46が好ましくないならばあのぷいぷわLv.46は京都らしいということはないがしかしそれは赤っぽい fact7: このぽにぽちゃLv.23は戻し易い fact8: このぽにぽちゃLv.23は京都らしい fact9: もし仮にあるモンスターが戻し易くないとするとあどけないし更にそれは若者らしい
fact4 & fact8 -> int1: このぽにぽちゃLv.23は若者らしい; fact5 & int1 -> int2: このぽにぽちゃLv.23はあどけない; int2 & fact3 -> int3: このぽにぽちゃLv.23は画す; int3 & fact7 -> hypothesis;
fact4 & fact8 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{a}; int3 & fact7 -> hypothesis;
そのぴなぴにゃLv.69はあどけない
fact10 -> int4: もし仮にあのぷいぷわLv.46が戻し易くないならそれはあどけなくてかつ若者らしい; fact12 -> int5: あのぷいぷわLv.46が京都らしくないけどそれが赤っぽいとすると戻し易くない; fact13 & fact11 -> int6: あのぷいぷわLv.46は京都らしくない一方で赤っぽい; int5 & int6 -> int7: あのぷいぷわLv.46は戻し易くない; int4 & int7 -> int8: あのぷいぷわLv.46はあどけなくて更にそれは若者らしい; int8 -> int9: あのぷいぷわLv.46はあどけない; int9 -> int10: 「あどけない」モンスターはいる;
$facts$ = fact1: もし仮に京都らしくないモンスターが赤っぽいとすれば戻し易くない fact2: あのぷいぷわLv.46は好ましくない fact3: もしこのぽにぽちゃLv.23があどけないならこのぽにぽちゃLv.23は画す fact4: このぽにぽちゃLv.23が京都らしいとするとそれは若者らしい fact5: もしもこのぽにぽちゃLv.23は若者らしいとしたら「それはあどけない」ということは本当である fact6: もしもあのぷいぷわLv.46が好ましくないならばあのぷいぷわLv.46は京都らしいということはないがしかしそれは赤っぽい fact7: このぽにぽちゃLv.23は戻し易い fact8: このぽにぽちゃLv.23は京都らしい fact9: もし仮にあるモンスターが戻し易くないとするとあどけないし更にそれは若者らしい ; $hypothesis$ = 「このぽにぽちゃLv.23は画すしおまけに戻し易い」ということは成り立たない ; $proof$ = 
fact4 & fact8 -> int1: このぽにぽちゃLv.23は若者らしい; fact5 & int1 -> int2: このぽにぽちゃLv.23はあどけない; int2 & fact3 -> int3: このぽにぽちゃLv.23は画す; int3 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact8 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{a}; int3 & fact7 -> hypothesis; __DISPROVED__