あの四十三万人は井筒だ
fact1: もしもなにかは魘されないとすればあの遅寝は色好くてまた送金出来る fact2: あのコントロール性が賛成し難くない一方でいとおしいならあの四十三万人は伝え易くない fact3: 伝え易いものはスラッシュグリーンであるかあるいは配分出来ない fact4: あのキリシタン信仰が太くないならばあのコントロール性は意味地平でない fact5: もしもあのコントロール性がスラッシュグリーンであるかもしくはそれが配分出来ないか両方ともだとするとあの四十三万人は配分出来ない fact6: 仮に「とあるものは会社等だし漕ぎ続ける」ということは成り立たないとすればそれは井筒だということはない fact7: 仮にあるものが意味地平でないならそれは恐れ戦くし人らしい fact8: いとおしい物は伝え易い一方で賛成し難くない fact9: 「魘されない」物はある fact10: あの四十三万人が会社等であるならあのコントロール性は漕ぎ続ける fact11: もしもなにがしかのものが会社等でないし更にそれが漕ぎ続けるということはないなら井筒だということはない fact12: 仮にあのコントロール性が会社等だとしたらあの四十三万人は井筒だ fact13: あのコントロール性は漕ぎ続ける fact14: スラッシュグリーンが伝え易くないなら配分出来る fact15: 何らかの物が恐れ戦くとすればそれはいとおしい fact16: もしもあの四十三万人が会社等であるとするとあのコントロール性は井筒である fact17: もしもなにがしかの物は配分出来ないならば「会社等であるしかつ漕ぎ続ける」ということは成り立たない fact18: あの遅寝は色好いなら「あのキリシタン信仰は太くないかまたはそれは基本財産でないか両方だ」ということは事実である fact19: あの四十三万人は漕ぎ続ける fact20: あの四十三万人はスラッシュグリーンであるし恐れ戦く fact21: あのコントロール性は会社等であるしその上漕ぎ続ける
fact21 -> int1: 「あのコントロール性は会社等である」ということは真実である; int1 & fact12 -> hypothesis;
「あの四十三万人は井筒でない」ということは確かである
fact23 -> int2: もし仮にあの四十三万人が会社等であるということはなくて漕ぎ続けないとすればそれは井筒でない; fact22 -> int3: もしも「あの四十三万人はスラッシュグリーンだけれど伝え易いということはない」ということは成り立つとすればそれは配分出来る; fact24 -> int4: あの四十三万人はスラッシュグリーンである;
$facts$ = fact1: もしもなにかは魘されないとすればあの遅寝は色好くてまた送金出来る fact2: あのコントロール性が賛成し難くない一方でいとおしいならあの四十三万人は伝え易くない fact3: 伝え易いものはスラッシュグリーンであるかあるいは配分出来ない fact4: あのキリシタン信仰が太くないならばあのコントロール性は意味地平でない fact5: もしもあのコントロール性がスラッシュグリーンであるかもしくはそれが配分出来ないか両方ともだとするとあの四十三万人は配分出来ない fact6: 仮に「とあるものは会社等だし漕ぎ続ける」ということは成り立たないとすればそれは井筒だということはない fact7: 仮にあるものが意味地平でないならそれは恐れ戦くし人らしい fact8: いとおしい物は伝え易い一方で賛成し難くない fact9: 「魘されない」物はある fact10: あの四十三万人が会社等であるならあのコントロール性は漕ぎ続ける fact11: もしもなにがしかのものが会社等でないし更にそれが漕ぎ続けるということはないなら井筒だということはない fact12: 仮にあのコントロール性が会社等だとしたらあの四十三万人は井筒だ fact13: あのコントロール性は漕ぎ続ける fact14: スラッシュグリーンが伝え易くないなら配分出来る fact15: 何らかの物が恐れ戦くとすればそれはいとおしい fact16: もしもあの四十三万人が会社等であるとするとあのコントロール性は井筒である fact17: もしもなにがしかの物は配分出来ないならば「会社等であるしかつ漕ぎ続ける」ということは成り立たない fact18: あの遅寝は色好いなら「あのキリシタン信仰は太くないかまたはそれは基本財産でないか両方だ」ということは事実である fact19: あの四十三万人は漕ぎ続ける fact20: あの四十三万人はスラッシュグリーンであるし恐れ戦く fact21: あのコントロール性は会社等であるしその上漕ぎ続ける ; $hypothesis$ = あの四十三万人は井筒だ ; $proof$ = 
fact21 -> int1: 「あのコントロール性は会社等である」ということは真実である; int1 & fact12 -> hypothesis; __PROVED__
事実1: もしもなにかは魘されないとすればあの遅寝は色好くてまた送金出来る
事実2: あのコントロール性が賛成し難くない一方でいとおしいならあの四十三万人は伝え易くない
事実3: 伝え易いものはスラッシュグリーンであるかあるいは配分出来ない
事実4: あのキリシタン信仰が太くないならばあのコントロール性は意味地平でない
事実5: もしもあのコントロール性がスラッシュグリーンであるかもしくはそれが配分出来ないか両方ともだとするとあの四十三万人は配分出来ない
事実6: 仮に「とあるものは会社等だし漕ぎ続ける」ということは成り立たないとすればそれは井筒だということはない
事実7: 仮にあるものが意味地平でないならそれは恐れ戦くし人らしい
事実8: いとおしい物は伝え易い一方で賛成し難くない
事実9: 「魘されない」物はある
事実10: あの四十三万人が会社等であるならあのコントロール性は漕ぎ続ける
事実11: もしもなにがしかのものが会社等でないし更にそれが漕ぎ続けるということはないなら井筒だということはない
事実12: 仮にあのコントロール性が会社等だとしたらあの四十三万人は井筒だ
事実13: あのコントロール性は漕ぎ続ける
事実14: スラッシュグリーンが伝え易くないなら配分出来る
事実15: 何らかの物が恐れ戦くとすればそれはいとおしい
事実16: もしもあの四十三万人が会社等であるとするとあのコントロール性は井筒である
事実17: もしもなにがしかの物は配分出来ないならば「会社等であるしかつ漕ぎ続ける」ということは成り立たない
事実18: あの遅寝は色好いなら「あのキリシタン信仰は太くないかまたはそれは基本財産でないか両方だ」ということは事実である
事実19: あの四十三万人は漕ぎ続ける
事実20: あの四十三万人はスラッシュグリーンであるし恐れ戦く
事実21: あのコントロール性は会社等であるしその上漕ぎ続ける

仮説: あの四十三万人は井筒だ
1. 事実21から、推論1: "「あのコントロール性は会社等である」ということは真実である"が導かれる
2. 推論1と事実12から、仮説が導かれる

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