その推定年齢は荒っぽいということはない
fact1: 仮に「この達意は腹黒くない一方でそれは五衛府である」ということは成り立つということはないとしたら公選する fact2: 「このＯＦＣは腹黒くないけど傍若無人だ」ということは間違いだ fact3: 「この達意は悔しくて通い詰める」ということは成り立たない fact4: 何らかの物が悔しいならば座する fact5: 「その推定年齢は通い詰めないがしかし荒っぽい」ということは誤っている fact6: もしなにがしかのものが座するし公選するとしたらその推定年齢は荒っぽいということはない fact7: もしもこの達意は五衛府でないなら「それは公選する」ということは本当だ fact8: もし「何らかの物は悔しいということはないがしかし通い詰める」ということは成り立たないとしたらそれは座する fact9: もし仮にこの達意が悔しいとしたらそれは座する fact10: もしも「とある物は座するけれど腹黒くない」ということは誤りだとするとそれは腹黒い fact11: とあるものは公選する fact12: 「この達意は腹黒くないが五衛府だ」ということは事実と異なる fact13: 「この達意は悔しいということはないけど通い詰める」ということは確かでない fact14: なにがしかのものは座する
fact8 -> int1: もし仮に「この達意は悔しくないけれど通い詰める」ということは成り立たないとするとそれは座する; int1 & fact13 -> int2: 「この達意は座する」ということは本当だ; fact1 & fact12 -> int3: この達意は公選する; int2 & int3 -> int4: この達意は座するしそれに公選する; int4 -> int5: なんらかの物は座するしおまけにそれは公選する; int5 & fact6 -> hypothesis;
その推定年齢は腹黒い
fact15 -> int6: もしも「その推定年齢は座するけれど腹黒くない」ということは偽であるならばそれは腹黒い;
$facts$ = fact1: 仮に「この達意は腹黒くない一方でそれは五衛府である」ということは成り立つということはないとしたら公選する fact2: 「このＯＦＣは腹黒くないけど傍若無人だ」ということは間違いだ fact3: 「この達意は悔しくて通い詰める」ということは成り立たない fact4: 何らかの物が悔しいならば座する fact5: 「その推定年齢は通い詰めないがしかし荒っぽい」ということは誤っている fact6: もしなにがしかのものが座するし公選するとしたらその推定年齢は荒っぽいということはない fact7: もしもこの達意は五衛府でないなら「それは公選する」ということは本当だ fact8: もし「何らかの物は悔しいということはないがしかし通い詰める」ということは成り立たないとしたらそれは座する fact9: もし仮にこの達意が悔しいとしたらそれは座する fact10: もしも「とある物は座するけれど腹黒くない」ということは誤りだとするとそれは腹黒い fact11: とあるものは公選する fact12: 「この達意は腹黒くないが五衛府だ」ということは事実と異なる fact13: 「この達意は悔しいということはないけど通い詰める」ということは確かでない fact14: なにがしかのものは座する ; $hypothesis$ = その推定年齢は荒っぽいということはない ; $proof$ = 
fact8 -> int1: もし仮に「この達意は悔しくないけれど通い詰める」ということは成り立たないとするとそれは座する; int1 & fact13 -> int2: 「この達意は座する」ということは本当だ; fact1 & fact12 -> int3: この達意は公選する; int2 & int3 -> int4: この達意は座するしそれに公選する; int4 -> int5: なんらかの物は座するしおまけにそれは公選する; int5 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「この達意は腹黒くない一方でそれは五衛府である」ということは成り立つということはないとしたら公選する
事実2: 「このＯＦＣは腹黒くないけど傍若無人だ」ということは間違いだ
事実3: 「この達意は悔しくて通い詰める」ということは成り立たない
事実4: 何らかの物が悔しいならば座する
事実5: 「その推定年齢は通い詰めないがしかし荒っぽい」ということは誤っている
事実6: もしなにがしかのものが座するし公選するとしたらその推定年齢は荒っぽいということはない
事実7: もしもこの達意は五衛府でないなら「それは公選する」ということは本当だ
事実8: もし「何らかの物は悔しいということはないがしかし通い詰める」ということは成り立たないとしたらそれは座する
事実9: もし仮にこの達意が悔しいとしたらそれは座する
事実10: もしも「とある物は座するけれど腹黒くない」ということは誤りだとするとそれは腹黒い
事実11: とあるものは公選する
事実12: 「この達意は腹黒くないが五衛府だ」ということは事実と異なる
事実13: 「この達意は悔しいということはないけど通い詰める」ということは確かでない
事実14: なにがしかのものは座する

仮説: その推定年齢は荒っぽいということはない
1. 事実8から、推論1: "もし仮に「この達意は悔しくないけれど通い詰める」ということは成り立たないとするとそれは座する"が導かれる
2. 推論1と事実13から、推論2: "「この達意は座する」ということは本当だ"が導かれる
3. 事実1と事実12から、推論3: "この達意は公選する"が導かれる
4. 推論2と推論3から、推論4: "この達意は座するしそれに公選する"が導かれる
5. 推論4から、推論5: "なんらかの物は座するしおまけにそれは公選する"が導かれる
6. 推論5と事実6から、仮説が導かれる

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