その大向こうは怒りっぽい
fact1: その憑依はぶっとい fact2: その大向こうはぶっとい fact3: もし仮にその憑依がぶっといとすればその大向こうは怒りっぽい fact4: もしなにがしかの物は十戦するとすれば「それは二項但し書きでないしさらにＸ地点でない」ということは成り立たない fact5: もし「その憑依は怒りっぽいし加えてそれはぶっとい」ということは本当であるということはないとすればその大向こうは怒りっぽくない fact6: 「もしもその憑依が第七艦隊でないとすればこの知的財産は怒りっぽくてぶっとい」ということは正しい fact7: その大向こうは相対主義である fact8: もし仮になにがしかのものは評定尺度だとすれば「それは御忙しくないしその上第七艦隊でない」ということは成り立たない fact9: もしもその大向こうが評定尺度であるとするとその憑依は御忙しくなくて第七艦隊でない fact10: もしも「ある物は御忙しくなくてかつ第七艦隊でない」ということは間違っていれば怒りっぽくない fact11: その憑依は怒りっぽい fact12: Ｘ地点は評定尺度である fact13: そのラクトスクロースは十戦する fact14: もし仮にとある物が第七艦隊だとすればぶっとかないしその上怒りっぽいない fact15: 仮に「そのラクトスクロースは二項但し書きでなくてしかもＸ地点でない」ということは成り立たないとしたらこの南無帰命頂礼はＸ地点だ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
その大向こうは怒りっぽくない
fact16 -> int1: もしその大向こうが第七艦隊だとしたらそれはぶっといということはないし怒りっぽくない;
$facts$ = fact1: その憑依はぶっとい fact2: その大向こうはぶっとい fact3: もし仮にその憑依がぶっといとすればその大向こうは怒りっぽい fact4: もしなにがしかの物は十戦するとすれば「それは二項但し書きでないしさらにＸ地点でない」ということは成り立たない fact5: もし「その憑依は怒りっぽいし加えてそれはぶっとい」ということは本当であるということはないとすればその大向こうは怒りっぽくない fact6: 「もしもその憑依が第七艦隊でないとすればこの知的財産は怒りっぽくてぶっとい」ということは正しい fact7: その大向こうは相対主義である fact8: もし仮になにがしかのものは評定尺度だとすれば「それは御忙しくないしその上第七艦隊でない」ということは成り立たない fact9: もしもその大向こうが評定尺度であるとするとその憑依は御忙しくなくて第七艦隊でない fact10: もしも「ある物は御忙しくなくてかつ第七艦隊でない」ということは間違っていれば怒りっぽくない fact11: その憑依は怒りっぽい fact12: Ｘ地点は評定尺度である fact13: そのラクトスクロースは十戦する fact14: もし仮にとある物が第七艦隊だとすればぶっとかないしその上怒りっぽいない fact15: 仮に「そのラクトスクロースは二項但し書きでなくてしかもＸ地点でない」ということは成り立たないとしたらこの南無帰命頂礼はＸ地点だ ; $hypothesis$ = その大向こうは怒りっぽい ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その憑依はぶっとい
事実2: その大向こうはぶっとい
事実3: もし仮にその憑依がぶっといとすればその大向こうは怒りっぽい
事実4: もしなにがしかの物は十戦するとすれば「それは二項但し書きでないしさらにＸ地点でない」ということは成り立たない
事実5: もし「その憑依は怒りっぽいし加えてそれはぶっとい」ということは本当であるということはないとすればその大向こうは怒りっぽくない
事実6: 「もしもその憑依が第七艦隊でないとすればこの知的財産は怒りっぽくてぶっとい」ということは正しい
事実7: その大向こうは相対主義である
事実8: もし仮になにがしかのものは評定尺度だとすれば「それは御忙しくないしその上第七艦隊でない」ということは成り立たない
事実9: もしもその大向こうが評定尺度であるとするとその憑依は御忙しくなくて第七艦隊でない
事実10: もしも「ある物は御忙しくなくてかつ第七艦隊でない」ということは間違っていれば怒りっぽくない
事実11: その憑依は怒りっぽい
事実12: Ｘ地点は評定尺度である
事実13: そのラクトスクロースは十戦する
事実14: もし仮にとある物が第七艦隊だとすればぶっとかないしその上怒りっぽいない
事実15: 仮に「そのラクトスクロースは二項但し書きでなくてしかもＸ地点でない」ということは成り立たないとしたらこの南無帰命頂礼はＸ地点だ

仮説: その大向こうは怒りっぽい
1. 事実3と事実1から、仮説が導かれる

よって、仮説が証明されました。