そのまなまゆLv.16は送り出さない
fact1: あのぷにぷにゃLv.51は黒っぽくないならば「あのまのまえLv.32は鳴き続けるしかつ低年齢化する」ということは成り立たない fact2: もし「なにがしかのモンスターは鳴き続けない」ということは確かであるとしたら「それは強くないかもしくはそれは物悲しくない」ということは成り立たない fact3: あのまのまえLv.32は黒っぽくない fact4: あのぽちょぽえLv.21は鳴き続けるということはない fact5: 「あのぽちょぽえLv.21は強くないかあるいはそれは物悲しくないかあるいは両方である」ということは成り立つということはないとしたらあのまのまえLv.32は低年齢化しない fact6: もしもあのまのまえLv.32が低年齢化しなくてまたそれが黒っぽくないならばそのまなまゆLv.16は送り出す
fact2 -> int1: 仮にあのぽちょぽえLv.21は鳴き続けないとすると「あのぽちょぽえLv.21は強くないかまたは物悲しくないか両方ともだ」ということは間違っている; int1 & fact4 -> int2: 「あのぽちょぽえLv.21は強くないかあるいは物悲しくないか両方だ」ということは成り立たない; int2 & fact5 -> int3: あのまのまえLv.32は低年齢化しない; int3 & fact3 -> int4: あのまのまえLv.32は低年齢化しなくてかつ黒っぽくない; int4 & fact6 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact5 -> int3: ¬{B}{a}; int3 & fact3 -> int4: (¬{B}{a} & ¬{C}{a}); int4 & fact6 -> hypothesis;
そのまなまゆLv.16は送り出さない
$facts$ = fact1: あのぷにぷにゃLv.51は黒っぽくないならば「あのまのまえLv.32は鳴き続けるしかつ低年齢化する」ということは成り立たない fact2: もし「なにがしかのモンスターは鳴き続けない」ということは確かであるとしたら「それは強くないかもしくはそれは物悲しくない」ということは成り立たない fact3: あのまのまえLv.32は黒っぽくない fact4: あのぽちょぽえLv.21は鳴き続けるということはない fact5: 「あのぽちょぽえLv.21は強くないかあるいはそれは物悲しくないかあるいは両方である」ということは成り立つということはないとしたらあのまのまえLv.32は低年齢化しない fact6: もしもあのまのまえLv.32が低年齢化しなくてまたそれが黒っぽくないならばそのまなまゆLv.16は送り出す ; $hypothesis$ = そのまなまゆLv.16は送り出さない ; $proof$ = 
fact2 -> int1: 仮にあのぽちょぽえLv.21は鳴き続けないとすると「あのぽちょぽえLv.21は強くないかまたは物悲しくないか両方ともだ」ということは間違っている; int1 & fact4 -> int2: 「あのぽちょぽえLv.21は強くないかあるいは物悲しくないか両方だ」ということは成り立たない; int2 & fact5 -> int3: あのまのまえLv.32は低年齢化しない; int3 & fact3 -> int4: あのまのまえLv.32は低年齢化しなくてかつ黒っぽくない; int4 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact5 -> int3: ¬{B}{a}; int3 & fact3 -> int4: (¬{B}{a} & ¬{C}{a}); int4 & fact6 -> hypothesis; __DISPROVED__