あのもちょもちゃLv.82は御めでたい
fact1: そのみねみにゃLv.33は運悪い fact2: もしそのぽにゅぽにょLv.44が丸っこいならあのみちゃみゆLv.69は展開表示する fact3: とあるモンスターが丸っこいとしたらそれは御めでたくない fact4: 「あのみちゃみゆLv.69は丸っこい」ということは確かだ fact5: そのぽにゅぽにょLv.44は丸っこくておまけに思慮深い fact6: もしもあのみちゃみゆLv.69が展開表示するならあのもちょもちゃLv.82は御めでたい
fact5 -> int1: そのぽにゅぽにょLv.44は丸っこい; int1 & fact2 -> int2: あのみちゃみゆLv.69は展開表示する; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
あのもちょもちゃLv.82は御めでたくない
fact7 -> int3: もしもあのもちょもちゃLv.82が丸っこいとするとあのもちょもちゃLv.82は御めでたくない;
$facts$ = fact1: そのみねみにゃLv.33は運悪い fact2: もしそのぽにゅぽにょLv.44が丸っこいならあのみちゃみゆLv.69は展開表示する fact3: とあるモンスターが丸っこいとしたらそれは御めでたくない fact4: 「あのみちゃみゆLv.69は丸っこい」ということは確かだ fact5: そのぽにゅぽにょLv.44は丸っこくておまけに思慮深い fact6: もしもあのみちゃみゆLv.69が展開表示するならあのもちょもちゃLv.82は御めでたい ; $hypothesis$ = あのもちょもちゃLv.82は御めでたい ; $proof$ = 
fact5 -> int1: そのぽにゅぽにょLv.44は丸っこい; int1 & fact2 -> int2: あのみちゃみゆLv.69は展開表示する; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__