そのぷにゃぷのLv.66は付載する
fact1: あのぽくぽよLv.32は分解され難い fact2: 「もしも何らかのモンスターが着席するということはないなら分解され難いしそれにそれは付載する」ということは成り立つ fact3: とあるモンスターがいとおしくないし加えて優しくないならそのぷにゃぷのLv.66は付載しない fact4: 仮にあのぽくぽよLv.32が分解され難いならこのまなまよLv.11はいとおしくなくてかつそれは優しくない fact5: もし仮にいとおしくないモンスターが優しいとするとそのぷにゃぷのLv.66は付載しない
fact4 & fact1 -> int1: このまなまよLv.11はいとおしくないしそれは優しくない; int1 -> int2: 「いとおしくないしまた優しくない」モンスターはいる; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): (¬{AA}x & ¬{AB}x); int2 & fact3 -> hypothesis;
そのぷにゃぷのLv.66は付載する
fact6 -> int3: もし仮にそのぷにゃぷのLv.66が着席しないとすればそのぷにゃぷのLv.66は分解され難くてかつ付載する;
$facts$ = fact1: あのぽくぽよLv.32は分解され難い fact2: 「もしも何らかのモンスターが着席するということはないなら分解され難いしそれにそれは付載する」ということは成り立つ fact3: とあるモンスターがいとおしくないし加えて優しくないならそのぷにゃぷのLv.66は付載しない fact4: 仮にあのぽくぽよLv.32が分解され難いならこのまなまよLv.11はいとおしくなくてかつそれは優しくない fact5: もし仮にいとおしくないモンスターが優しいとするとそのぷにゃぷのLv.66は付載しない ; $hypothesis$ = そのぷにゃぷのLv.66は付載する ; $proof$ = 
fact4 & fact1 -> int1: このまなまよLv.11はいとおしくないしそれは優しくない; int1 -> int2: 「いとおしくないしまた優しくない」モンスターはいる; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): (¬{AA}x & ¬{AB}x); int2 & fact3 -> hypothesis; __DISPROVED__