「あのみわみゆLv.97は辟易する」ということは正しい
fact1: このぷにゅぷやLv.92は如此しかもしくは忌ま忌ましいかどちらもである fact2: もし仮にこのぷにゅぷやLv.92が如此しならばこのぽにゃぽちゅLv.30は忌ま忌ましい fact3: 全てのモンスターは忌ま忌ましいかあるいは意義深いかあるいは両方ともだ fact4: もし仮にこのぽにゃぽちゅLv.30が忌ま忌ましいとしたらあのみわみゆLv.97は辟易する fact5: すべてのモンスターは如此しかまたは意義深いかもしくは両方ともである fact6: もしもこのぽにゃぽちゅLv.30が忌ま忌ましいしその上意義深いならこのぽにゃぽちゅLv.30は辟易しない fact7: 仮にこのぷにゅぷやLv.92が意義深いとしたらこのぽにゃぽちゅLv.30は忌ま忌ましい fact8: 美味しいということはないモンスターは忌ま忌ましいししかも意義深い
fact5 -> int1: このぷにゅぷやLv.92は如此しかまたはそれは意義深い; int1 & fact2 & fact7 -> int2: このぽにゃぽちゅLv.30は忌ま忌ましい; int2 & fact4 -> hypothesis;
fact5 -> int1: ({A}{aa} v {B}{aa}); int1 & fact2 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
あのみわみゆLv.97は辟易しない
fact10 -> int3: もしもこのぽにゃぽちゅLv.30が美味しくないとすればこのぽにゃぽちゅLv.30は忌ま忌ましいしそれは意義深い;
$facts$ = fact1: このぷにゅぷやLv.92は如此しかもしくは忌ま忌ましいかどちらもである fact2: もし仮にこのぷにゅぷやLv.92が如此しならばこのぽにゃぽちゅLv.30は忌ま忌ましい fact3: 全てのモンスターは忌ま忌ましいかあるいは意義深いかあるいは両方ともだ fact4: もし仮にこのぽにゃぽちゅLv.30が忌ま忌ましいとしたらあのみわみゆLv.97は辟易する fact5: すべてのモンスターは如此しかまたは意義深いかもしくは両方ともである fact6: もしもこのぽにゃぽちゅLv.30が忌ま忌ましいしその上意義深いならこのぽにゃぽちゅLv.30は辟易しない fact7: 仮にこのぷにゅぷやLv.92が意義深いとしたらこのぽにゃぽちゅLv.30は忌ま忌ましい fact8: 美味しいということはないモンスターは忌ま忌ましいししかも意義深い ; $hypothesis$ = 「あのみわみゆLv.97は辟易する」ということは正しい ; $proof$ = 
fact5 -> int1: このぷにゅぷやLv.92は如此しかまたはそれは意義深い; int1 & fact2 & fact7 -> int2: このぽにゃぽちゅLv.30は忌ま忌ましい; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: ({A}{aa} v {B}{aa}); int1 & fact2 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__