そのハリジャンは実質臓器でないがそれは息める
fact1: 仮にあの受益が薄くないならばそのハリジャンは力説するしそれは申し訳無い fact2: 「そのハリジャンは息める」ということは成り立つ fact3: とある物が力説しないかもしくはそれは薄いかあるいは両方であるとしたらそれは力説しない fact4: あの受益は寒々しい fact5: あの受益は力説する fact6: もし仮になにかは力説しないとすると「実質臓器でなくてかつ息める」ということは間違いだ fact7: そのハリジャンは力説する fact8: あの受益が力説するとするとあの組織構造は息める fact9: もし仮にあの組織構造が息めるとすればあのハリジャンは実質臓器でないが息める fact10: 「このコンバーチブルは息める」ということは成り立つ
fact8 & fact5 -> int1: あの組織構造は息める; int1 & fact9 -> hypothesis;
「そのハリジャンは実質臓器でないがしかしそれは息める」ということは間違っている
fact11 -> int2: もし仮にそのハリジャンは力説するということはないとしたら「実質臓器でないが息める」ということは真実でない; fact12 -> int3: もしそのハリジャンが力説しないかそれは薄いかもしくはどちらもであるとしたらそれは力説しない;
$facts$ = fact1: 仮にあの受益が薄くないならばそのハリジャンは力説するしそれは申し訳無い fact2: 「そのハリジャンは息める」ということは成り立つ fact3: とある物が力説しないかもしくはそれは薄いかあるいは両方であるとしたらそれは力説しない fact4: あの受益は寒々しい fact5: あの受益は力説する fact6: もし仮になにかは力説しないとすると「実質臓器でなくてかつ息める」ということは間違いだ fact7: そのハリジャンは力説する fact8: あの受益が力説するとするとあの組織構造は息める fact9: もし仮にあの組織構造が息めるとすればあのハリジャンは実質臓器でないが息める fact10: 「このコンバーチブルは息める」ということは成り立つ ; $hypothesis$ = そのハリジャンは実質臓器でないがそれは息める ; $proof$ = 
fact8 & fact5 -> int1: あの組織構造は息める; int1 & fact9 -> hypothesis; __PROVED__
事実1: 仮にあの受益が薄くないならばそのハリジャンは力説するしそれは申し訳無い
事実2: 「そのハリジャンは息める」ということは成り立つ
事実3: とある物が力説しないかもしくはそれは薄いかあるいは両方であるとしたらそれは力説しない
事実4: あの受益は寒々しい
事実5: あの受益は力説する
事実6: もし仮になにかは力説しないとすると「実質臓器でなくてかつ息める」ということは間違いだ
事実7: そのハリジャンは力説する
事実8: あの受益が力説するとするとあの組織構造は息める
事実9: もし仮にあの組織構造が息めるとすればあのハリジャンは実質臓器でないが息める
事実10: 「このコンバーチブルは息める」ということは成り立つ

仮説: そのハリジャンは実質臓器でないがそれは息める
1. 事実8と事実5から、推論1: "あの組織構造は息める"が導かれる
2. 推論1と事実9から、仮説が導かれる

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