「仮に梱包するなら「叶わないけど言い辛い」ということは間違いである」ものはある
fact1: 「何らかのものは逸らす」ということは成り立つとしたら「それが投げ打たないしさらにそれは鳴り止む」ということは嘘である fact2: 「もしおどろおどろしいなら「士官学校生でないし逸らす」ということは事実と異なる」物はある fact3: 「梱包するなら「叶うしそれに言い辛い」ということは事実と異なる」ものはある fact4: もし仮にあの大揺れが梱包するとすればそれは叶わないけど言い辛い fact5: あの大揺れはベンチマークするとすれば「言い辛くないし出し易い」ということは成り立たない fact6: もしもあるものは梱包するとすれば「「叶うしそれは言い辛い」ということは真実だ」ということは成り立たない fact7: とある物が梱包するなら叶わないがしかし言い辛い fact8: もしある物は梱包するとすると「叶わない一方で言い辛い」ということは嘘である fact9: 「もしも「梱包する」ということは真実だとしたら叶わないけれど言い辛い」物はある fact10: 「仮に島田であるとすれば「共同体主義でなくてウインドーズメッセンジャーだ」ということは成り立つということはない」物はある fact11: もしあの大揺れは梱包するなら「それは叶うしそれは言い辛い」ということは事実と異なる fact12: もしも「あの大揺れは目する」ということは確かだとすると「押し返さない一方で梱包する」ということは間違っている
fact8 -> int1: 仮にあの大揺れは梱包するとすれば「叶うということはなくてかつ言い辛い」ということは誤っている; int1 -> hypothesis;
fact8 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「何らかのものは逸らす」ということは成り立つとしたら「それが投げ打たないしさらにそれは鳴り止む」ということは嘘である fact2: 「もしおどろおどろしいなら「士官学校生でないし逸らす」ということは事実と異なる」物はある fact3: 「梱包するなら「叶うしそれに言い辛い」ということは事実と異なる」ものはある fact4: もし仮にあの大揺れが梱包するとすればそれは叶わないけど言い辛い fact5: あの大揺れはベンチマークするとすれば「言い辛くないし出し易い」ということは成り立たない fact6: もしもあるものは梱包するとすれば「「叶うしそれは言い辛い」ということは真実だ」ということは成り立たない fact7: とある物が梱包するなら叶わないがしかし言い辛い fact8: もしある物は梱包するとすると「叶わない一方で言い辛い」ということは嘘である fact9: 「もしも「梱包する」ということは真実だとしたら叶わないけれど言い辛い」物はある fact10: 「仮に島田であるとすれば「共同体主義でなくてウインドーズメッセンジャーだ」ということは成り立つということはない」物はある fact11: もしあの大揺れは梱包するなら「それは叶うしそれは言い辛い」ということは事実と異なる fact12: もしも「あの大揺れは目する」ということは確かだとすると「押し返さない一方で梱包する」ということは間違っている ; $hypothesis$ = 「仮に梱包するなら「叶わないけど言い辛い」ということは間違いである」ものはある ; $proof$ = 
fact8 -> int1: 仮にあの大揺れは梱包するとすれば「叶うということはなくてかつ言い辛い」ということは誤っている; int1 -> hypothesis; __PROVED__
事実1: 「何らかのものは逸らす」ということは成り立つとしたら「それが投げ打たないしさらにそれは鳴り止む」ということは嘘である
事実2: 「もしおどろおどろしいなら「士官学校生でないし逸らす」ということは事実と異なる」物はある
事実3: 「梱包するなら「叶うしそれに言い辛い」ということは事実と異なる」ものはある
事実4: もし仮にあの大揺れが梱包するとすればそれは叶わないけど言い辛い
事実5: あの大揺れはベンチマークするとすれば「言い辛くないし出し易い」ということは成り立たない
事実6: もしもあるものは梱包するとすれば「「叶うしそれは言い辛い」ということは真実だ」ということは成り立たない
事実7: とある物が梱包するなら叶わないがしかし言い辛い
事実8: もしある物は梱包するとすると「叶わない一方で言い辛い」ということは嘘である
事実9: 「もしも「梱包する」ということは真実だとしたら叶わないけれど言い辛い」物はある
事実10: 「仮に島田であるとすれば「共同体主義でなくてウインドーズメッセンジャーだ」ということは成り立つということはない」物はある
事実11: もしあの大揺れは梱包するなら「それは叶うしそれは言い辛い」ということは事実と異なる
事実12: もしも「あの大揺れは目する」ということは確かだとすると「押し返さない一方で梱包する」ということは間違っている

仮説: 「仮に梱包するなら「叶わないけど言い辛い」ということは間違いである」ものはある
1. 事実8から、推論1: "仮にあの大揺れは梱包するとすれば「叶うということはなくてかつ言い辛い」ということは誤っている"が導かれる
2. 推論1から、仮説が導かれる

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