あの自由アメリカ軍は悪しい
fact1: 「なんらかの物は会社以外でなくてそれに青洟でない」ということは成り立たないとすると悪しくない fact2: もしなにかは砕かないとするとそれは祈る fact3: 「このピルビン酸は睨み据えないし加えて御下がりだということはない」ということは確かであるならあの自由アメリカ軍は鬩ぎ合わない fact4: 仮に何かは個別者であるかまたはし辛いならばやばくない fact5: もしもその建設地方債がやばいということはないならばこのプレイタウンは経営改善でないかまたは可愛いかもしくは両方ともである fact6: このピルビン酸は青洟であるということはない fact7: もしも「会社以外だし青洟な」物があるとするとこのピルビン酸は鬩ぎ合うということはない fact8: もし仮にこのピルビン酸が睨み据えるならあの自由アメリカ軍は悪しい fact9: もし「なんらかのものは青洟でないし会社以外でない」ということは成り立たないとしたらそれは悪しくない fact10: 「会社以外で青洟である」ものはある fact11: 仮にあの自由アメリカ軍が悪しくないとしたらそれは鬩ぎ合う fact12: 「「会社以外だ」ということは確かな」物はある fact13: もしもその建設地方債が入党するとすればそれは個別者だ fact14: もしもあるものは焼き肉屋さんであるならそれは個別者である fact15: 「もし仮にこのプレイタウンが経営改善でないかもしくはそれが可愛いかまたは両方ともであるとすればその泡盛は経営改善でない」ということは確かだ fact16: このアフリカ水牛は会社以外である fact17: このピルビン酸は悪しい fact18: その建設地方債は焼き肉屋さんであるかもしくは入党する fact19: 仮に「経営改善でない」ものがあるとすればその二十四時間以内はダッシュである fact20: 何かは青洟である fact21: このピルビン酸は狼狽気味でない fact22: もしあるものが鬩ぎ合わないとしたら睨み据える
fact10 & fact7 -> int1: このピルビン酸は鬩ぎ合うということはない; fact22 -> int2: もしこのピルビン酸が鬩ぎ合わないとすればそれは睨み据える; int1 & int2 -> int3: 「このピルビン酸は睨み据える」ということは本当だ; int3 & fact8 -> hypothesis;
あの自由アメリカ軍は悪しくない
fact31 -> int4: もしも「あの自由アメリカ軍は青洟であるということはないしかつ会社以外だということはない」ということは嘘であるならそれは悪しくない; fact28 -> int5: もしもその建設地方債は個別者であるかまたはし辛いかまたは両方ともだとすればやばいということはない; fact23 -> int6: その建設地方債は焼き肉屋さんであるなら個別者だ; fact30 & int6 & fact29 -> int7: その建設地方債は個別者だ; int7 -> int8: その建設地方債は個別者であるかし辛い; int5 & int8 -> int9: その建設地方債はやばくない; fact27 & int9 -> int10: このプレイタウンは経営改善でないかまたはそれは可愛い; fact24 & int10 -> int11: その泡盛は経営改善でない; int11 -> int12: とある物は経営改善でない; int12 & fact26 -> int13: 「その二十四時間以内はダッシュだ」ということは本当だ; int13 -> int14: 何らかのものはダッシュだ;
$facts$ = fact1: 「なんらかの物は会社以外でなくてそれに青洟でない」ということは成り立たないとすると悪しくない fact2: もしなにかは砕かないとするとそれは祈る fact3: 「このピルビン酸は睨み据えないし加えて御下がりだということはない」ということは確かであるならあの自由アメリカ軍は鬩ぎ合わない fact4: 仮に何かは個別者であるかまたはし辛いならばやばくない fact5: もしもその建設地方債がやばいということはないならばこのプレイタウンは経営改善でないかまたは可愛いかもしくは両方ともである fact6: このピルビン酸は青洟であるということはない fact7: もしも「会社以外だし青洟な」物があるとするとこのピルビン酸は鬩ぎ合うということはない fact8: もし仮にこのピルビン酸が睨み据えるならあの自由アメリカ軍は悪しい fact9: もし「なんらかのものは青洟でないし会社以外でない」ということは成り立たないとしたらそれは悪しくない fact10: 「会社以外で青洟である」ものはある fact11: 仮にあの自由アメリカ軍が悪しくないとしたらそれは鬩ぎ合う fact12: 「「会社以外だ」ということは確かな」物はある fact13: もしもその建設地方債が入党するとすればそれは個別者だ fact14: もしもあるものは焼き肉屋さんであるならそれは個別者である fact15: 「もし仮にこのプレイタウンが経営改善でないかもしくはそれが可愛いかまたは両方ともであるとすればその泡盛は経営改善でない」ということは確かだ fact16: このアフリカ水牛は会社以外である fact17: このピルビン酸は悪しい fact18: その建設地方債は焼き肉屋さんであるかもしくは入党する fact19: 仮に「経営改善でない」ものがあるとすればその二十四時間以内はダッシュである fact20: 何かは青洟である fact21: このピルビン酸は狼狽気味でない fact22: もしあるものが鬩ぎ合わないとしたら睨み据える ; $hypothesis$ = あの自由アメリカ軍は悪しい ; $proof$ = 
fact10 & fact7 -> int1: このピルビン酸は鬩ぎ合うということはない; fact22 -> int2: もしこのピルビン酸が鬩ぎ合わないとすればそれは睨み据える; int1 & int2 -> int3: 「このピルビン酸は睨み据える」ということは本当だ; int3 & fact8 -> hypothesis; __PROVED__
事実1: 「なんらかの物は会社以外でなくてそれに青洟でない」ということは成り立たないとすると悪しくない
事実2: もしなにかは砕かないとするとそれは祈る
事実3: 「このピルビン酸は睨み据えないし加えて御下がりだということはない」ということは確かであるならあの自由アメリカ軍は鬩ぎ合わない
事実4: 仮に何かは個別者であるかまたはし辛いならばやばくない
事実5: もしもその建設地方債がやばいということはないならばこのプレイタウンは経営改善でないかまたは可愛いかもしくは両方ともである
事実6: このピルビン酸は青洟であるということはない
事実7: もしも「会社以外だし青洟な」物があるとするとこのピルビン酸は鬩ぎ合うということはない
事実8: もし仮にこのピルビン酸が睨み据えるならあの自由アメリカ軍は悪しい
事実9: もし「なんらかのものは青洟でないし会社以外でない」ということは成り立たないとしたらそれは悪しくない
事実10: 「会社以外で青洟である」ものはある
事実11: 仮にあの自由アメリカ軍が悪しくないとしたらそれは鬩ぎ合う
事実12: 「「会社以外だ」ということは確かな」物はある
事実13: もしもその建設地方債が入党するとすればそれは個別者だ
事実14: もしもあるものは焼き肉屋さんであるならそれは個別者である
事実15: 「もし仮にこのプレイタウンが経営改善でないかもしくはそれが可愛いかまたは両方ともであるとすればその泡盛は経営改善でない」ということは確かだ
事実16: このアフリカ水牛は会社以外である
事実17: このピルビン酸は悪しい
事実18: その建設地方債は焼き肉屋さんであるかもしくは入党する
事実19: 仮に「経営改善でない」ものがあるとすればその二十四時間以内はダッシュである
事実20: 何かは青洟である
事実21: このピルビン酸は狼狽気味でない
事実22: もしあるものが鬩ぎ合わないとしたら睨み据える

仮説: あの自由アメリカ軍は悪しい
1. 事実10と事実7から、推論1: "このピルビン酸は鬩ぎ合うということはない"が導かれる
2. 事実22から、推論2: "もしこのピルビン酸が鬩ぎ合わないとすればそれは睨み据える"が導かれる
3. 推論1と推論2から、推論3: "「このピルビン酸は睨み据える」ということは本当だ"が導かれる
4. 推論3と事実8から、仮説が導かれる

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