そのみにみくLv.20はべた付き易くない
fact1: とあるモンスターは目覚ましい fact2: 仮にそのみにみくLv.20は嬉しくないとすれば「そのみにみくLv.20は出場するしその上弾き始める」ということは誤っている fact3: もし仮に「そのみにみくLv.20は出場するし弾き始める」ということは間違いであるとするとそれは目覚ましくない fact4: もし仮に「目覚ましい」モンスターがいるとすればこのみにょみくLv.40は供託するかあるいは目覚ましいか両方である fact5: 「このみにょみくLv.40は目覚ましい」ということは本当であるとするとこのぽちゅぽにゃLv.38は出場する fact6: このぽちゅぽにゃLv.38が出場するしおまけに弾き始めるならそのみにみくLv.20はべた付き易いということはない fact7: このぽちゅぽにゃLv.38は弾き始める fact8: もしこのみにょみくLv.40が供託するとしたらこのぽちゅぽにゃLv.38は出場する fact9: このぽちゅぽにゃLv.38がべた付き易いとすればそのみにみくLv.20は弾き始める fact10: もし仮に「べた付き易い」モンスターがいるとするとそのみにみくLv.20は目覚ましいかべた付き易いか両方だ
fact4 & fact1 -> int1: このみにょみくLv.40は供託するか目覚ましいかまたは両方である; int1 & fact8 & fact5 -> int2: このぽちゅぽにゃLv.38は出場する; int2 & fact7 -> int3: このぽちゅぽにゃLv.38は出場するしかつ弾き始める; int3 & fact6 -> hypothesis;
fact4 & fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact8 & fact5 -> int2: {C}{c}; int2 & fact7 -> int3: ({C}{c} & {D}{c}); int3 & fact6 -> hypothesis;
そのみにみくLv.20はべた付き易い
$facts$ = fact1: とあるモンスターは目覚ましい fact2: 仮にそのみにみくLv.20は嬉しくないとすれば「そのみにみくLv.20は出場するしその上弾き始める」ということは誤っている fact3: もし仮に「そのみにみくLv.20は出場するし弾き始める」ということは間違いであるとするとそれは目覚ましくない fact4: もし仮に「目覚ましい」モンスターがいるとすればこのみにょみくLv.40は供託するかあるいは目覚ましいか両方である fact5: 「このみにょみくLv.40は目覚ましい」ということは本当であるとするとこのぽちゅぽにゃLv.38は出場する fact6: このぽちゅぽにゃLv.38が出場するしおまけに弾き始めるならそのみにみくLv.20はべた付き易いということはない fact7: このぽちゅぽにゃLv.38は弾き始める fact8: もしこのみにょみくLv.40が供託するとしたらこのぽちゅぽにゃLv.38は出場する fact9: このぽちゅぽにゃLv.38がべた付き易いとすればそのみにみくLv.20は弾き始める fact10: もし仮に「べた付き易い」モンスターがいるとするとそのみにみくLv.20は目覚ましいかべた付き易いか両方だ ; $hypothesis$ = そのみにみくLv.20はべた付き易くない ; $proof$ = 
fact4 & fact1 -> int1: このみにょみくLv.40は供託するか目覚ましいかまたは両方である; int1 & fact8 & fact5 -> int2: このぽちゅぽにゃLv.38は出場する; int2 & fact7 -> int3: このぽちゅぽにゃLv.38は出場するしかつ弾き始める; int3 & fact6 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact8 & fact5 -> int2: {C}{c}; int2 & fact7 -> int3: ({C}{c} & {D}{c}); int3 & fact6 -> hypothesis; __PROVED__