「あのぽいぽえLv.60は野暮ったくないが崩れ易い」ということは成り立たない
fact1: もしもそのぷわぷゆLv.92がたっぷりすれば崩れ易い fact2: 仮にとあるモンスターは金鍍金すれば「それは野暮ったくないけど崩れ易い」ということは嘘である fact3: 仮にそのぷわぷゆLv.92が金鍍金するとすればそれはたっぷりする fact4: そのぷわぷゆLv.92が崩れ易いならばあのぽいぽえLv.60は野暮ったくないがそれは崩れ易い fact5: そのぷわぷゆLv.92は金鍍金する
fact3 & fact5 -> int1: そのぷわぷゆLv.92はたっぷりする; int1 & fact1 -> int2: そのぷわぷゆLv.92は崩れ易い; int2 & fact4 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
「あのぽいぽえLv.60は野暮ったくないが崩れ易い」ということは成り立たない
fact6 -> int3: もし仮にあのぽいぽえLv.60は金鍍金するとすれば「野暮ったくないけど崩れ易い」ということは成り立たない;
$facts$ = fact1: もしもそのぷわぷゆLv.92がたっぷりすれば崩れ易い fact2: 仮にとあるモンスターは金鍍金すれば「それは野暮ったくないけど崩れ易い」ということは嘘である fact3: 仮にそのぷわぷゆLv.92が金鍍金するとすればそれはたっぷりする fact4: そのぷわぷゆLv.92が崩れ易いならばあのぽいぽえLv.60は野暮ったくないがそれは崩れ易い fact5: そのぷわぷゆLv.92は金鍍金する ; $hypothesis$ = 「あのぽいぽえLv.60は野暮ったくないが崩れ易い」ということは成り立たない ; $proof$ = 
fact3 & fact5 -> int1: そのぷわぷゆLv.92はたっぷりする; int1 & fact1 -> int2: そのぷわぷゆLv.92は崩れ易い; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__