そのぴやぴわLv.31は青い
fact1: 仮にそのもいもわLv.92が共鳴し易いならそのぴやぴわLv.31は悍ましい fact2: もしもこのぷにぷちょLv.80は宜しとすると「そのもいもわLv.92は共鳴し易い」ということは本当だ fact3: 共鳴し易くないモンスターは宜しし曇り無し fact4: このぷにぷちょLv.80は宜しか曇り無し fact5: このぷにぷちょLv.80が曇り無しとしたらそのもいもわLv.92は共鳴し易い fact6: もし「そのぴやぴわLv.31は悍ましい」ということは事実と異なるということはないとしたらそのぴやぴわLv.31は青い fact7: もし仮に「そのもいもわLv.92は子供っぽい一方で悍ましくない」ということは成り立たないならば「このぷにぷちょLv.80は共鳴し易くない」ということは成り立つ
fact4 & fact2 & fact5 -> int1: そのもいもわLv.92は共鳴し易い; int1 & fact1 -> int2: そのぴやぴわLv.31は悍ましい; int2 & fact6 -> hypothesis;
fact4 & fact2 & fact5 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{b}; int2 & fact6 -> hypothesis;
「そのぴやぴわLv.31は青いということはない」ということは正しい
fact9 -> int3: もしこのぷにぷちょLv.80が共鳴し易くないとすればこのぷにぷちょLv.80は宜ししそれは曇り無し;
$facts$ = fact1: 仮にそのもいもわLv.92が共鳴し易いならそのぴやぴわLv.31は悍ましい fact2: もしもこのぷにぷちょLv.80は宜しとすると「そのもいもわLv.92は共鳴し易い」ということは本当だ fact3: 共鳴し易くないモンスターは宜しし曇り無し fact4: このぷにぷちょLv.80は宜しか曇り無し fact5: このぷにぷちょLv.80が曇り無しとしたらそのもいもわLv.92は共鳴し易い fact6: もし「そのぴやぴわLv.31は悍ましい」ということは事実と異なるということはないとしたらそのぴやぴわLv.31は青い fact7: もし仮に「そのもいもわLv.92は子供っぽい一方で悍ましくない」ということは成り立たないならば「このぷにぷちょLv.80は共鳴し易くない」ということは成り立つ ; $hypothesis$ = そのぴやぴわLv.31は青い ; $proof$ = 
fact4 & fact2 & fact5 -> int1: そのもいもわLv.92は共鳴し易い; int1 & fact1 -> int2: そのぴやぴわLv.31は悍ましい; int2 & fact6 -> hypothesis; __PROVED__
fact4 & fact2 & fact5 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{b}; int2 & fact6 -> hypothesis; __PROVED__