「あのもにゃもわLv.96はけばけばしくて壊れ易い」ということは間違っている
fact1: すべてのモンスターは壊れ易いししかも言い訳がましい fact2: あのもにゃもわLv.96はけばけばしい fact3: もし仮になにがしかのモンスターが言い訳はましくらないとすると「それはけばけばしいしかつそれは壊れ易い」ということは事実だということはない fact4: 全てのモンスターは甘辛い fact5: 言い訳がましいモンスターは御聞きする
fact1 -> int1: あのもにゃもわLv.96は壊れ易くてまた言い訳がましい; int1 -> int2: あのもにゃもわLv.96は壊れ易い; int2 & fact2 -> hypothesis;
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact2 -> hypothesis;
「あのもにゃもわLv.96はけばけばしくて壊れ易い」ということは間違っている
fact6 -> int3: もし仮にあのもにゃもわLv.96は言い訳がましいということはないとしたら「それはけばけばしくてそれに壊れ易い」ということは成り立たない;
$facts$ = fact1: すべてのモンスターは壊れ易いししかも言い訳がましい fact2: あのもにゃもわLv.96はけばけばしい fact3: もし仮になにがしかのモンスターが言い訳はましくらないとすると「それはけばけばしいしかつそれは壊れ易い」ということは事実だということはない fact4: 全てのモンスターは甘辛い fact5: 言い訳がましいモンスターは御聞きする ; $hypothesis$ = 「あのもにゃもわLv.96はけばけばしくて壊れ易い」ということは間違っている ; $proof$ = 
fact1 -> int1: あのもにゃもわLv.96は壊れ易くてまた言い訳がましい; int1 -> int2: あのもにゃもわLv.96は壊れ易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact2 -> hypothesis; __DISPROVED__