そのぴよぴちゅLv.18は眠り込まない
fact1: 「あのぷわぷよLv.81は若者らしいということはない」ということは本当である fact2: もしもそのまにゃまねLv.81が若者らしいがしかし質問出来ないならばあのもわもねLv.92は質問出来るということはない fact3: 仮にそのまにゃまねLv.81が頑是無いかもしくはそれが質問出来るかどちらもであるならばそのぴよぴちゅLv.18は質問出来ない fact4: 「もし何らかのモンスターが眠り込まないとするとそれは若者らしいがしかし質問出来るということはない」ということは成り立つ fact5: そのまにゃまねLv.81は質問出来る fact6: もしもそのまにゃまねLv.81が若者らしいとすればそのぴよぴちゅLv.18は眠り込まない fact7: 仮にそのまにゃまねLv.81が若者らしいか質問出来るか両方だとするとそのぴよぴちゅLv.18は眠り込まない
fact5 -> int1: そのまにゃまねLv.81は若者らしいかあるいは質問出来る; int1 & fact7 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> hypothesis;
そのぴよぴちゅLv.18は眠り込む
$facts$ = fact1: 「あのぷわぷよLv.81は若者らしいということはない」ということは本当である fact2: もしもそのまにゃまねLv.81が若者らしいがしかし質問出来ないならばあのもわもねLv.92は質問出来るということはない fact3: 仮にそのまにゃまねLv.81が頑是無いかもしくはそれが質問出来るかどちらもであるならばそのぴよぴちゅLv.18は質問出来ない fact4: 「もし何らかのモンスターが眠り込まないとするとそれは若者らしいがしかし質問出来るということはない」ということは成り立つ fact5: そのまにゃまねLv.81は質問出来る fact6: もしもそのまにゃまねLv.81が若者らしいとすればそのぴよぴちゅLv.18は眠り込まない fact7: 仮にそのまにゃまねLv.81が若者らしいか質問出来るか両方だとするとそのぴよぴちゅLv.18は眠り込まない ; $hypothesis$ = そのぴよぴちゅLv.18は眠り込まない ; $proof$ = 
fact5 -> int1: そのまにゃまねLv.81は若者らしいかあるいは質問出来る; int1 & fact7 -> hypothesis; __PROVED__
fact5 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> hypothesis; __PROVED__