「あのまいまいLv.48は拡大縮小しない」ということは本当だ
fact1: あのまいまいLv.48は図太くない一方でしつこい fact2: 図太くないししつこいモンスターは行われ易い fact3: もし仮にあのまいまいLv.48は行われ易いとしたら「あのまいまいLv.48は拡大縮小する」ということは成り立つ fact4: 「このもにもいLv.79は行われ易くない」ということは真実だ
fact2 -> int1: もしあのまいまいLv.48は図太いということはないがしつこいとするとそれは行われ易い; int1 & fact1 -> int2: 「あのまいまいLv.48は行われ易い」ということは真実だ; int2 & fact3 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのまいまいLv.48は図太くない一方でしつこい fact2: 図太くないししつこいモンスターは行われ易い fact3: もし仮にあのまいまいLv.48は行われ易いとしたら「あのまいまいLv.48は拡大縮小する」ということは成り立つ fact4: 「このもにもいLv.79は行われ易くない」ということは真実だ ; $hypothesis$ = 「あのまいまいLv.48は拡大縮小しない」ということは本当だ ; $proof$ = 
fact2 -> int1: もしあのまいまいLv.48は図太いということはないがしつこいとするとそれは行われ易い; int1 & fact1 -> int2: 「あのまいまいLv.48は行われ易い」ということは真実だ; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis; __DISPROVED__