「広がり易いとしたら「殴り倒すということはないけど結び付き易い」ということは成り立たない」物はある
fact1: もしもなんらかの物は入院中なら「それは上がり易いということはなくてしかもそれはＹ方向である」ということは誤りだ fact2: もし仮にその心象が広がり易いとしたらそれは殴り倒さないし結び付き易い fact3: 「仮に広がり易いとしたら「殴り倒すしその上結び付き易い」ということは真実だということはない」ものはある fact4: もしもあるものは広がり易いならば「殴り倒すしおまけに結び付き易い」ということは成り立たない fact5: 泥臭いものは大噴火でないけれど聞き咎める fact6: 気怠いものは間違い無くないがしかし赤土である fact7: もし何かは広がり易いなら「それは殴り倒すということはないけど結び付き易い」ということは偽だ fact8: もしも「この概念論は赤土だ」ということは真実であるとすると「それは殴り倒すしかつ誤り無い」ということは嘘だ fact9: 「安堵し難いとすると増産でないけれど放送する」ものはある
fact7 -> int1: もし仮にその心象は広がり易いとすると「それは殴り倒さないし結び付き易い」ということは間違いだ; int1 -> hypothesis;
「仮に入院中だとすると「上がり易くないしＹ方向だ」ということは間違っている」ものはある
fact10 -> int2: 仮にそのタイムトンネルは入院中だとすれば「上がり易くないけれどＹ方向だ」ということは本当でない; int2 -> hypothesis;
$facts$ = fact1: もしもなんらかの物は入院中なら「それは上がり易いということはなくてしかもそれはＹ方向である」ということは誤りだ fact2: もし仮にその心象が広がり易いとしたらそれは殴り倒さないし結び付き易い fact3: 「仮に広がり易いとしたら「殴り倒すしその上結び付き易い」ということは真実だということはない」ものはある fact4: もしもあるものは広がり易いならば「殴り倒すしおまけに結び付き易い」ということは成り立たない fact5: 泥臭いものは大噴火でないけれど聞き咎める fact6: 気怠いものは間違い無くないがしかし赤土である fact7: もし何かは広がり易いなら「それは殴り倒すということはないけど結び付き易い」ということは偽だ fact8: もしも「この概念論は赤土だ」ということは真実であるとすると「それは殴り倒すしかつ誤り無い」ということは嘘だ fact9: 「安堵し難いとすると増産でないけれど放送する」ものはある ; $hypothesis$ = 「広がり易いとしたら「殴り倒すということはないけど結び付き易い」ということは成り立たない」物はある ; $proof$ = 
fact7 -> int1: もし仮にその心象は広がり易いとすると「それは殴り倒さないし結び付き易い」ということは間違いだ; int1 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は入院中なら「それは上がり易いということはなくてしかもそれはＹ方向である」ということは誤りだ
事実2: もし仮にその心象が広がり易いとしたらそれは殴り倒さないし結び付き易い
事実3: 「仮に広がり易いとしたら「殴り倒すしその上結び付き易い」ということは真実だということはない」ものはある
事実4: もしもあるものは広がり易いならば「殴り倒すしおまけに結び付き易い」ということは成り立たない
事実5: 泥臭いものは大噴火でないけれど聞き咎める
事実6: 気怠いものは間違い無くないがしかし赤土である
事実7: もし何かは広がり易いなら「それは殴り倒すということはないけど結び付き易い」ということは偽だ
事実8: もしも「この概念論は赤土だ」ということは真実であるとすると「それは殴り倒すしかつ誤り無い」ということは嘘だ
事実9: 「安堵し難いとすると増産でないけれど放送する」ものはある

仮説: 「広がり易いとしたら「殴り倒すということはないけど結び付き易い」ということは成り立たない」物はある
1. 事実7から、推論1: "もし仮にその心象は広がり易いとすると「それは殴り倒さないし結び付き易い」ということは間違いだ"が導かれる
2. 推論1から、仮説が導かれる

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