「このぽにゃぽゆLv.86は生き辛いしかつ薄青い」ということは誤っている
fact1: このぽにゃぽゆLv.86は薄青い fact2: 深しないモンスターは生き辛いしおまけに薙ぎ払う fact3: 深しないモンスターが経営出来ないとするとそれは薙ぎ払わない fact4: もしあのまなまにょLv.61が深しならこのぽにゃぽゆLv.86は生き辛い fact5: そのもねもゆLv.84は薙ぎ払う fact6: もし仮にそのもねもゆLv.84は薙ぎ払わないとしたら「このぽにゃぽゆLv.86が生き辛いしその上薄青い」ということは偽だ fact7: もし「とあるモンスターは取り締まるがしかしそれは歯痒くない」ということは成り立たないとしたらそれは屯するということはない fact8: そのもねもゆLv.84が薙ぎ払うとすればあのまなまにょLv.61は深し fact9: もしそのもねもゆLv.84が屯しないとしたら深しないし経営出来ない
fact8 & fact5 -> int1: あのまなまにょLv.61は深し; int1 & fact4 -> int2: このぽにゃぽゆLv.86は生き辛い; int2 & fact1 -> hypothesis;
fact8 & fact5 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact1 -> hypothesis;
「このぽにゃぽゆLv.86は生き辛いしかつ薄青い」ということは誤っている
fact10 -> int3: もしそのもねもゆLv.84が深しないしまたそれが経営出来ないならそれは薙ぎ払わない; fact11 -> int4: 「そのもねもゆLv.84は取り締まるけれど歯痒くない」ということは成り立つということはないならば屯するということはない;
$facts$ = fact1: このぽにゃぽゆLv.86は薄青い fact2: 深しないモンスターは生き辛いしおまけに薙ぎ払う fact3: 深しないモンスターが経営出来ないとするとそれは薙ぎ払わない fact4: もしあのまなまにょLv.61が深しならこのぽにゃぽゆLv.86は生き辛い fact5: そのもねもゆLv.84は薙ぎ払う fact6: もし仮にそのもねもゆLv.84は薙ぎ払わないとしたら「このぽにゃぽゆLv.86が生き辛いしその上薄青い」ということは偽だ fact7: もし「とあるモンスターは取り締まるがしかしそれは歯痒くない」ということは成り立たないとしたらそれは屯するということはない fact8: そのもねもゆLv.84が薙ぎ払うとすればあのまなまにょLv.61は深し fact9: もしそのもねもゆLv.84が屯しないとしたら深しないし経営出来ない ; $hypothesis$ = 「このぽにゃぽゆLv.86は生き辛いしかつ薄青い」ということは誤っている ; $proof$ = 
fact8 & fact5 -> int1: あのまなまにょLv.61は深し; int1 & fact4 -> int2: このぽにゃぽゆLv.86は生き辛い; int2 & fact1 -> hypothesis; __DISPROVED__
fact8 & fact5 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact1 -> hypothesis; __DISPROVED__