「そのぽちゃぽやLv.90は調べ易くない」ということは事実だ
fact1: 「あのぽちょぽちゃLv.69は寒々しいししかも頼もしい」ということは事実だとするとあのぽちょぽちゃLv.69は怒りっぽくない fact2: もし何らかのモンスターは悍ましくないとすれば「それは倹しかないしそれは埃っぽい」ということは成り立たない fact3: 「「そのぽちゃぽやLv.90は倹しかない一方で埃っぽい」ということは成り立つということはない」ということは真実であるなら脈打ち始めるということはない fact4: もし仮にそのぽちゃぽやLv.90が歌舞伎っぽいがしかし脈打ち始めないとしたらそのぽちゃぽやLv.90は調べ易くない fact5: そのぽちゃぽやLv.90は悍ましかない
fact2 -> int1: もしもそのぽちゃぽやLv.90は悍ましくないとすれば「そのぽちゃぽやLv.90は倹しいということはない一方で埃っぽい」ということは成り立たない; int1 & fact5 -> int2: 「そのぽちゃぽやLv.90は倹しかないが埃っぽい」ということは嘘である; int2 & fact3 -> int3: そのぽちゃぽやLv.90は脈打ち始めるということはない;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact5 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> int3: ¬{B}{aa};
$facts$ = fact1: 「あのぽちょぽちゃLv.69は寒々しいししかも頼もしい」ということは事実だとするとあのぽちょぽちゃLv.69は怒りっぽくない fact2: もし何らかのモンスターは悍ましくないとすれば「それは倹しかないしそれは埃っぽい」ということは成り立たない fact3: 「「そのぽちゃぽやLv.90は倹しかない一方で埃っぽい」ということは成り立つということはない」ということは真実であるなら脈打ち始めるということはない fact4: もし仮にそのぽちゃぽやLv.90が歌舞伎っぽいがしかし脈打ち始めないとしたらそのぽちゃぽやLv.90は調べ易くない fact5: そのぽちゃぽやLv.90は悍ましかない ; $hypothesis$ = 「そのぽちゃぽやLv.90は調べ易くない」ということは事実だ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__