あのまちゃまねLv.18は助く
fact1: 何らかのモンスターは読み易いなら「疑い深くないしそれは賢しい」ということは成り立つということはない fact2: 「あのまちゃまねLv.18は疑い深くないが賢しい」ということは嘘なら助けない fact3: 「あのまちゃまねLv.18は読み易い」ということは偽だということはない fact4: なにがしかのモンスターが差し出がましくないとしたら読み易くて助く
fact1 -> int1: あのまちゃまねLv.18は読み易いなら「あのまちゃまねLv.18は疑い深くない一方で賢しい」ということは偽だ; int1 & fact3 -> int2: 「あのまちゃまねLv.18は疑い深くないがしかし賢しい」ということは間違いだ; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact2 -> hypothesis;
あのまちゃまねLv.18は助く
fact5 -> int3: 「もし仮にあのまちゃまねLv.18が差し出がましいということはないとすればあのまちゃまねLv.18は読み易くて助く」ということは成り立つ;
$facts$ = fact1: 何らかのモンスターは読み易いなら「疑い深くないしそれは賢しい」ということは成り立つということはない fact2: 「あのまちゃまねLv.18は疑い深くないが賢しい」ということは嘘なら助けない fact3: 「あのまちゃまねLv.18は読み易い」ということは偽だということはない fact4: なにがしかのモンスターが差し出がましくないとしたら読み易くて助く ; $hypothesis$ = あのまちゃまねLv.18は助く ; $proof$ = 
fact1 -> int1: あのまちゃまねLv.18は読み易いなら「あのまちゃまねLv.18は疑い深くない一方で賢しい」ということは偽だ; int1 & fact3 -> int2: 「あのまちゃまねLv.18は疑い深くないがしかし賢しい」ということは間違いだ; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact2 -> hypothesis; __DISPROVED__