そのぽよぽよLv.5は運悪くなくておまけに貧しない
fact1: めんど臭いモンスターは運悪くなくて貧しない fact2: もしもそのぽよぽよLv.5は御優しいなら「そのぽよぽよLv.5は運悪くなくてしかも貧しない」ということは事実と異なる fact3: そのぴにゃぴのLv.71が運悪いということはない一方でめんど臭いとするとあのもわもゆLv.37はめんど臭いということはない fact4: もしも「あのもわもゆLv.37はめんど臭い」ということは正しいならばそのぴにゃぴのLv.71は伴い易い fact5: あのもわもゆLv.37はめんど臭い fact6: もしもとあるモンスターはめんど臭くないとすれば「それは黒っぽいということはなくて更に伴い易くない」ということは間違っている fact7: もしそのぴにゃぴのLv.71が伴い易いとすればそのぽよぽよLv.5は御優しい fact8: もし仮に「そのぴにゃぴのLv.71は汚らしい」ということは本当であるとすれば「そのぴにゃぴのLv.71は話し辛いけどそれは阿呆らしくない」ということは成り立たない fact9: 「あるモンスターは話し辛いけれど阿呆らしくない」ということは間違いであるとすると「燃え易くない」ということは真実である
fact4 & fact5 -> int1: そのぴにゃぴのLv.71は伴い易い; int1 & fact7 -> int2: そのぽよぽよLv.5は御優しい; int2 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; int2 & fact2 -> hypothesis;
そのぽよぽよLv.5は運悪くなくておまけに貧しない
fact12 -> int3: もし仮にそのぽよぽよLv.5がめんど臭いとすればそのぽよぽよLv.5は運悪くなくてさらに貧しない; fact11 -> int4: 仮に「そのぴにゃぴのLv.71は話し辛いけれど阿呆らしくない」ということは嘘ならばそのぴにゃぴのLv.71は燃え易くない;
$facts$ = fact1: めんど臭いモンスターは運悪くなくて貧しない fact2: もしもそのぽよぽよLv.5は御優しいなら「そのぽよぽよLv.5は運悪くなくてしかも貧しない」ということは事実と異なる fact3: そのぴにゃぴのLv.71が運悪いということはない一方でめんど臭いとするとあのもわもゆLv.37はめんど臭いということはない fact4: もしも「あのもわもゆLv.37はめんど臭い」ということは正しいならばそのぴにゃぴのLv.71は伴い易い fact5: あのもわもゆLv.37はめんど臭い fact6: もしもとあるモンスターはめんど臭くないとすれば「それは黒っぽいということはなくて更に伴い易くない」ということは間違っている fact7: もしそのぴにゃぴのLv.71が伴い易いとすればそのぽよぽよLv.5は御優しい fact8: もし仮に「そのぴにゃぴのLv.71は汚らしい」ということは本当であるとすれば「そのぴにゃぴのLv.71は話し辛いけどそれは阿呆らしくない」ということは成り立たない fact9: 「あるモンスターは話し辛いけれど阿呆らしくない」ということは間違いであるとすると「燃え易くない」ということは真実である ; $hypothesis$ = そのぽよぽよLv.5は運悪くなくておまけに貧しない ; $proof$ = 
fact4 & fact5 -> int1: そのぴにゃぴのLv.71は伴い易い; int1 & fact7 -> int2: そのぽよぽよLv.5は御優しい; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; int2 & fact2 -> hypothesis; __DISPROVED__