あの政府・与党は気高し
fact1: もし仮にとある物が名器でないとすれば下左だがしかし広がり易くない fact2: 遜色無い物は気高し fact3: もしもあるものは語彙素でないとしたら「それは気高しし遜色無い」ということは偽だ fact4: 「あの達磨さんが保存し直さないし晴れはましくらない」ということは確かでない fact5: 「あの達磨さんが保存し直さないしそれが晴れはましくらない」ということは偽だとすると軟骨細胞だ fact6: もし仮に軟骨細胞が土地改革だとしたらそれは名器でない fact7: もしも「あの決まりは遜色無い」ということは成り立つとすれば「気高し」ということは間違いでない fact8: 仮にあの政府・与党は語彙素であるとしたら気高し fact9: もしもとあるものが下左だけど広がり易くないとすると語彙素でない fact10: もし仮に「「あの達磨さんは気高しし遜色無い」ということは誤りである」ということは誤りでないとすればあの政府・与党は気高しということはない fact11: もしもあの達磨さんが思しいとするとそれは土地改革である fact12: あの政府・与党は遜色無いかもしくは語彙素であるかもしくは両方である fact13: 仮に何かは下左でないなら「それは語彙素であるかもしくは広がり易いかもしくは両方である」ということは誤っている
fact2 -> int1: 仮に「あの政府・与党は遜色無い」ということは成り立つとするとそれは気高し; int1 & fact12 & fact8 -> hypothesis;
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 & fact12 & fact8 -> hypothesis;
あの政府・与党は気高しない
fact16 -> int2: あの達磨さんは語彙素でないなら「それは気高しししかも遜色無い」ということは成り立たない; fact19 -> int3: もしあの達磨さんが下左であるが広がり易くないとすれば語彙素でない; fact17 -> int4: もし仮にあの達磨さんは名器でないならそれは下左であるが広がり易いということはない; fact20 -> int5: もしもあの達磨さんは軟骨細胞であるしさらに土地改革であるならば名器でない; fact21 & fact14 -> int6: あの達磨さんは軟骨細胞だ;
$facts$ = fact1: もし仮にとある物が名器でないとすれば下左だがしかし広がり易くない fact2: 遜色無い物は気高し fact3: もしもあるものは語彙素でないとしたら「それは気高しし遜色無い」ということは偽だ fact4: 「あの達磨さんが保存し直さないし晴れはましくらない」ということは確かでない fact5: 「あの達磨さんが保存し直さないしそれが晴れはましくらない」ということは偽だとすると軟骨細胞だ fact6: もし仮に軟骨細胞が土地改革だとしたらそれは名器でない fact7: もしも「あの決まりは遜色無い」ということは成り立つとすれば「気高し」ということは間違いでない fact8: 仮にあの政府・与党は語彙素であるとしたら気高し fact9: もしもとあるものが下左だけど広がり易くないとすると語彙素でない fact10: もし仮に「「あの達磨さんは気高しし遜色無い」ということは誤りである」ということは誤りでないとすればあの政府・与党は気高しということはない fact11: もしもあの達磨さんが思しいとするとそれは土地改革である fact12: あの政府・与党は遜色無いかもしくは語彙素であるかもしくは両方である fact13: 仮に何かは下左でないなら「それは語彙素であるかもしくは広がり易いかもしくは両方である」ということは誤っている ; $hypothesis$ = あの政府・与党は気高し ; $proof$ = 
fact2 -> int1: 仮に「あの政府・与党は遜色無い」ということは成り立つとするとそれは気高し; int1 & fact12 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にとある物が名器でないとすれば下左だがしかし広がり易くない
事実2: 遜色無い物は気高し
事実3: もしもあるものは語彙素でないとしたら「それは気高しし遜色無い」ということは偽だ
事実4: 「あの達磨さんが保存し直さないし晴れはましくらない」ということは確かでない
事実5: 「あの達磨さんが保存し直さないしそれが晴れはましくらない」ということは偽だとすると軟骨細胞だ
事実6: もし仮に軟骨細胞が土地改革だとしたらそれは名器でない
事実7: もしも「あの決まりは遜色無い」ということは成り立つとすれば「気高し」ということは間違いでない
事実8: 仮にあの政府・与党は語彙素であるとしたら気高し
事実9: もしもとあるものが下左だけど広がり易くないとすると語彙素でない
事実10: もし仮に「「あの達磨さんは気高しし遜色無い」ということは誤りである」ということは誤りでないとすればあの政府・与党は気高しということはない
事実11: もしもあの達磨さんが思しいとするとそれは土地改革である
事実12: あの政府・与党は遜色無いかもしくは語彙素であるかもしくは両方である
事実13: 仮に何かは下左でないなら「それは語彙素であるかもしくは広がり易いかもしくは両方である」ということは誤っている

仮説: あの政府・与党は気高し
1. 事実2から、推論1: "仮に「あの政府・与党は遜色無い」ということは成り立つとするとそれは気高し"が導かれる
2. 推論1と事実12と事実8から、仮説が導かれる

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