あのぷにゃぷねLv.83は黒っぽくてそれは息衝き始める
fact1: このみねみゆLv.3は歩けるしおまけにうざい fact2: 「あのぷにゃぷねLv.83は喧しくないし更にそれは御若くない」ということは間違っている fact3: あのぷにゃぷねLv.83は息衝き始める fact4: もしも「あるモンスターは御若いということはなくて列記しない」ということは成り立つということはないとすれば気付き難い fact5: あのぷにゃぷねLv.83は心無い fact6: 「「あのぽのぽいLv.50は黒っぽくなくてさらにそれは吸収され易くない」ということは誤りである」ということは確かである fact7: もしも「あのぷにゃぷねLv.83は喧しくないしそれは御若くない」ということは確かだということはないとしたらあのぷにゃぷねLv.83は黒っぽい
fact7 & fact2 -> int1: あのぷにゃぷねLv.83は黒っぽい; int1 & fact3 -> hypothesis;
fact7 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
もしも「あのまねまやLv.34は御若くないしそれは列記しない」ということは間違っていれば気付き難い
fact8 -> hypothesis;
$facts$ = fact1: このみねみゆLv.3は歩けるしおまけにうざい fact2: 「あのぷにゃぷねLv.83は喧しくないし更にそれは御若くない」ということは間違っている fact3: あのぷにゃぷねLv.83は息衝き始める fact4: もしも「あるモンスターは御若いということはなくて列記しない」ということは成り立つということはないとすれば気付き難い fact5: あのぷにゃぷねLv.83は心無い fact6: 「「あのぽのぽいLv.50は黒っぽくなくてさらにそれは吸収され易くない」ということは誤りである」ということは確かである fact7: もしも「あのぷにゃぷねLv.83は喧しくないしそれは御若くない」ということは確かだということはないとしたらあのぷにゃぷねLv.83は黒っぽい ; $hypothesis$ = あのぷにゃぷねLv.83は黒っぽくてそれは息衝き始める ; $proof$ = 
fact7 & fact2 -> int1: あのぷにゃぷねLv.83は黒っぽい; int1 & fact3 -> hypothesis; __PROVED__
fact7 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __PROVED__