「あのもちょもにゅLv.92は迷信深い」ということは事実だ
fact1: 全てのモンスターは運び出さない fact2: 全てのモンスターは運び出さないし更に脆くない fact3: 「あのもちょもにゅLv.92は運び出す」ということは本当でない fact4: もしもあのもちょもにゅLv.92が運び出さなくて脆くないとするとそれはいみじ fact5: もしあのもちょもにゅLv.92がいみじとすればあのもちょもにゅLv.92は迷信深い
fact2 -> int1: 「あのもちょもにゅLv.92は運び出さなくて脆くない」ということは偽でない; int1 & fact4 -> int2: 「あのもちょもにゅLv.92はいみじ」ということは成り立つ; int2 & fact5 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact4 -> int2: {C}{aa}; int2 & fact5 -> hypothesis;
$facts$ = fact1: 全てのモンスターは運び出さない fact2: 全てのモンスターは運び出さないし更に脆くない fact3: 「あのもちょもにゅLv.92は運び出す」ということは本当でない fact4: もしもあのもちょもにゅLv.92が運び出さなくて脆くないとするとそれはいみじ fact5: もしあのもちょもにゅLv.92がいみじとすればあのもちょもにゅLv.92は迷信深い ; $hypothesis$ = 「あのもちょもにゅLv.92は迷信深い」ということは事実だ ; $proof$ = 
fact2 -> int1: 「あのもちょもにゅLv.92は運び出さなくて脆くない」ということは偽でない; int1 & fact4 -> int2: 「あのもちょもにゅLv.92はいみじ」ということは成り立つ; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact4 -> int2: {C}{aa}; int2 & fact5 -> hypothesis; __PROVED__