その強肩は美しい
fact1: 何かはグリルするとすればそれは美しい fact2: もしそのコーディネーションがグリルするなら美しい fact3: 仮に「あるものは節度使であるけど広ーくない」ということは間違っているとしたらそれは本件訴訟だ fact4: あの黒人社会は新規制度であるが急き込まない fact5: もし仮にあの枠組みが日向ならば急き込む fact6: その強肩は男っぽくない fact7: 本件訴訟はグリルする fact8: もしもあの黒人社会が本件訴訟でないならその強肩はグリルする fact9: その強肩は新規制度でない fact10: あの黒人社会は新規制度だ fact11: もしもあの黒人社会が新規制度だ一方で急き込まないとしたら本件訴訟でない fact12: あの黒人社会は看病する fact13: もしとある物はむさくるしくないなら「それは節度使だし加えて広ーくない」ということは誤っている
fact11 & fact4 -> int1: 「あの黒人社会は本件訴訟でない」ということは確かだ; int1 & fact8 -> int2: その強肩はグリルする; fact1 -> int3: 仮にその強肩がグリルするとしたらそれは美しい; int2 & int3 -> hypothesis;
そのコーディネーションは美しい
fact17 -> int4: もしもそのコーディネーションは本件訴訟であるとしたらそれはグリルする; fact16 -> int5: 仮に「そのコーディネーションは節度使であるけれどそれは広ーくない」ということは成り立たないとしたらそれは本件訴訟だ; fact14 -> int6: もしもそのコーディネーションはむさくるしいということはないとすると「節度使だしおまけにそれは広ーくない」ということは成り立たない; fact18 -> int7: なにかは男っぽくない;
$facts$ = fact1: 何かはグリルするとすればそれは美しい fact2: もしそのコーディネーションがグリルするなら美しい fact3: 仮に「あるものは節度使であるけど広ーくない」ということは間違っているとしたらそれは本件訴訟だ fact4: あの黒人社会は新規制度であるが急き込まない fact5: もし仮にあの枠組みが日向ならば急き込む fact6: その強肩は男っぽくない fact7: 本件訴訟はグリルする fact8: もしもあの黒人社会が本件訴訟でないならその強肩はグリルする fact9: その強肩は新規制度でない fact10: あの黒人社会は新規制度だ fact11: もしもあの黒人社会が新規制度だ一方で急き込まないとしたら本件訴訟でない fact12: あの黒人社会は看病する fact13: もしとある物はむさくるしくないなら「それは節度使だし加えて広ーくない」ということは誤っている ; $hypothesis$ = その強肩は美しい ; $proof$ = 
fact11 & fact4 -> int1: 「あの黒人社会は本件訴訟でない」ということは確かだ; int1 & fact8 -> int2: その強肩はグリルする; fact1 -> int3: 仮にその強肩がグリルするとしたらそれは美しい; int2 & int3 -> hypothesis; __PROVED__
事実1: 何かはグリルするとすればそれは美しい
事実2: もしそのコーディネーションがグリルするなら美しい
事実3: 仮に「あるものは節度使であるけど広ーくない」ということは間違っているとしたらそれは本件訴訟だ
事実4: あの黒人社会は新規制度であるが急き込まない
事実5: もし仮にあの枠組みが日向ならば急き込む
事実6: その強肩は男っぽくない
事実7: 本件訴訟はグリルする
事実8: もしもあの黒人社会が本件訴訟でないならその強肩はグリルする
事実9: その強肩は新規制度でない
事実10: あの黒人社会は新規制度だ
事実11: もしもあの黒人社会が新規制度だ一方で急き込まないとしたら本件訴訟でない
事実12: あの黒人社会は看病する
事実13: もしとある物はむさくるしくないなら「それは節度使だし加えて広ーくない」ということは誤っている

仮説: その強肩は美しい
1. 事実11と事実4から、推論1: "「あの黒人社会は本件訴訟でない」ということは確かだ"が導かれる
2. 推論1と事実8から、推論2: "その強肩はグリルする"が導かれる
3. 事実1から、推論3: "仮にその強肩がグリルするとしたらそれは美しい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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