「もし狂言会でないけど悩ましいとすると易し」ものはある
fact1: もしなにかは狂言会でないが悩ましいなら易し fact2: 仮に狂言会が悩ましいとすれば易し fact3: 仮にある物が素っ気なくない一方で帰港すれば模型だ fact4: もしもあのアバンギャルドが空前だしまた吸い上げるとすれば煙たい fact5: もしもなんらかの物は市民活動でない一方で暗しとすればそれはライフ再生だ fact6: 「何かは詩論でない一方でそれは影絵だ」ということは事実であるならそれは鋳造する fact7: 「「仮に狂言会でしかも悩ましいとすれば易し」物はある」ということは成り立つ fact8: あの鉄は狂言会で悩ましいとすれば易し fact9: 「とあるものは大量生産しないが易し」ということは成り立つならそれは漏れ易い
fact1 -> int1: 仮にあの鉄が狂言会でない一方でそれが悩ましいならそれは易し; int1 -> hypothesis;
「もし市民活動でない一方で暗しとすれば「ライフ再生である」ということは本当な」物はある
fact10 -> int2: 「この四個分は市民活動でないけれど暗し」ということは確かであるとするとライフ再生だ; int2 -> hypothesis;
$facts$ = fact1: もしなにかは狂言会でないが悩ましいなら易し fact2: 仮に狂言会が悩ましいとすれば易し fact3: 仮にある物が素っ気なくない一方で帰港すれば模型だ fact4: もしもあのアバンギャルドが空前だしまた吸い上げるとすれば煙たい fact5: もしもなんらかの物は市民活動でない一方で暗しとすればそれはライフ再生だ fact6: 「何かは詩論でない一方でそれは影絵だ」ということは事実であるならそれは鋳造する fact7: 「「仮に狂言会でしかも悩ましいとすれば易し」物はある」ということは成り立つ fact8: あの鉄は狂言会で悩ましいとすれば易し fact9: 「とあるものは大量生産しないが易し」ということは成り立つならそれは漏れ易い ; $hypothesis$ = 「もし狂言会でないけど悩ましいとすると易し」ものはある ; $proof$ = 
fact1 -> int1: 仮にあの鉄が狂言会でない一方でそれが悩ましいならそれは易し; int1 -> hypothesis; __PROVED__
事実1: もしなにかは狂言会でないが悩ましいなら易し
事実2: 仮に狂言会が悩ましいとすれば易し
事実3: 仮にある物が素っ気なくない一方で帰港すれば模型だ
事実4: もしもあのアバンギャルドが空前だしまた吸い上げるとすれば煙たい
事実5: もしもなんらかの物は市民活動でない一方で暗しとすればそれはライフ再生だ
事実6: 「何かは詩論でない一方でそれは影絵だ」ということは事実であるならそれは鋳造する
事実7: 「「仮に狂言会でしかも悩ましいとすれば易し」物はある」ということは成り立つ
事実8: あの鉄は狂言会で悩ましいとすれば易し
事実9: 「とあるものは大量生産しないが易し」ということは成り立つならそれは漏れ易い

仮説: 「もし狂言会でないけど悩ましいとすると易し」ものはある
1. 事実1から、推論1: "仮にあの鉄が狂言会でない一方でそれが悩ましいならそれは易し"が導かれる
2. 推論1から、仮説が導かれる

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