あの白縁は心安い
fact1: あの白縁は狙われ易い fact2: もし仮にその小頭が郵政民営化問題だとするとこの篠は核使用である fact3: 仮にその小頭が支配性であるならその襲撃者は核使用だけど支配性でない fact4: もし仮になんらかのものが各労働者だとしたら犯すし更に微笑ましかない fact5: 仮にその襲撃者が肘掛け付きでないかもしくはそれが支配性でないかあるいは両方ともだとするとあの白縁は心安くない fact6: もし何らかのものが取り難いけどそれが狙われ易くないならばそれは郵政民営化問題である fact7: 仮にその小頭が心安いけれどそれが郵政民営化問題でないならこの篠は狙われ易くない fact8: もし微笑ましいものが狙われ易くないとすればそれは犯す fact9: 二方式は郵政民営化問題であるが核使用でない fact10: この空間計画が微笑ましくらないけど犯すとするとあの白縁は犯す fact11: 各労働者は微笑ましくらないけれど犯す fact12: 仮になんらかのものは犯すが微笑ましかないならそれは心安い fact13: 「この空間計画が微笑ましいならその布地は各労働者だ」ということは事実である fact14: その布地が郵政民営化問題でないとしたらこの空間計画は狙われ易くないししかもそれは取り難くない fact15: もしも狙われ易くない物が取り難くないなら各労働者だ fact16: 「「この篠は郵政民営化問題だ」ということは成り立つならその小頭は核使用であるが心安くない」ということは確かである fact17: もし「この篠は郵政民営化問題である」ということは確かであるとしたら「その小頭は核使用だが郵政民営化問題でない」ということは事実である fact18: この篠は取り難くないかそれは犯す fact19: この空間計画は犯さないがしかし微笑ましい fact20: もし仮に何らかのものが犯すとしたらそれは心安い fact21: その小頭は散らばる fact22: もし仮にその布地が各労働者であるとすればこの篠は取り難いけれどそれは狙われ易いということはない fact23: もしその小頭が核使用であるがしかし郵政民営化問題であるということはないとするとその襲撃者は二方式でない fact24: あるものは二方式でないなら肘掛け付きでないかあるいは支配性でないかあるいは両方だ fact25: もし仮にこの篠が郵政民営化問題だが核使用であるということはないならその布地は郵政民営化問題でない fact26: もし仮にその襲撃者が取り難いならこの篠は各労働者であるけど二方式だということはない
fact19 -> int1: この空間計画は微笑ましい; int1 & fact13 -> int2: その布地は各労働者だ; int2 & fact22 -> int3: この篠は取り難いけど狙われ易いということはない; fact6 -> int4: この篠は取り難いけど狙われ易くないとしたら郵政民営化問題だ; int3 & int4 -> int5: この篠は郵政民営化問題である; int5 & fact17 -> int6: その小頭は核使用であるけれどそれは郵政民営化問題でない; int6 & fact23 -> int7: その襲撃者は二方式でない; fact24 -> int8: もしもその襲撃者が二方式でないとすると肘掛け付きでないかあるいは支配性でないかどちらもだ; int7 & int8 -> int9: その襲撃者は肘掛け付きでないかもしくは支配性でないか両方ともだ; int9 & fact5 -> hypothesis;
あの白縁は心安い
fact27 -> int10: もし仮にあの白縁は犯すけど微笑ましくらないとすると心安い; fact28 -> int11: もし仮にあの白縁が各労働者であるとすれば犯すし更にそれは微笑ましかない;
$facts$ = fact1: あの白縁は狙われ易い fact2: もし仮にその小頭が郵政民営化問題だとするとこの篠は核使用である fact3: 仮にその小頭が支配性であるならその襲撃者は核使用だけど支配性でない fact4: もし仮になんらかのものが各労働者だとしたら犯すし更に微笑ましかない fact5: 仮にその襲撃者が肘掛け付きでないかもしくはそれが支配性でないかあるいは両方ともだとするとあの白縁は心安くない fact6: もし何らかのものが取り難いけどそれが狙われ易くないならばそれは郵政民営化問題である fact7: 仮にその小頭が心安いけれどそれが郵政民営化問題でないならこの篠は狙われ易くない fact8: もし微笑ましいものが狙われ易くないとすればそれは犯す fact9: 二方式は郵政民営化問題であるが核使用でない fact10: この空間計画が微笑ましくらないけど犯すとするとあの白縁は犯す fact11: 各労働者は微笑ましくらないけれど犯す fact12: 仮になんらかのものは犯すが微笑ましかないならそれは心安い fact13: 「この空間計画が微笑ましいならその布地は各労働者だ」ということは事実である fact14: その布地が郵政民営化問題でないとしたらこの空間計画は狙われ易くないししかもそれは取り難くない fact15: もしも狙われ易くない物が取り難くないなら各労働者だ fact16: 「「この篠は郵政民営化問題だ」ということは成り立つならその小頭は核使用であるが心安くない」ということは確かである fact17: もし「この篠は郵政民営化問題である」ということは確かであるとしたら「その小頭は核使用だが郵政民営化問題でない」ということは事実である fact18: この篠は取り難くないかそれは犯す fact19: この空間計画は犯さないがしかし微笑ましい fact20: もし仮に何らかのものが犯すとしたらそれは心安い fact21: その小頭は散らばる fact22: もし仮にその布地が各労働者であるとすればこの篠は取り難いけれどそれは狙われ易いということはない fact23: もしその小頭が核使用であるがしかし郵政民営化問題であるということはないとするとその襲撃者は二方式でない fact24: あるものは二方式でないなら肘掛け付きでないかあるいは支配性でないかあるいは両方だ fact25: もし仮にこの篠が郵政民営化問題だが核使用であるということはないならその布地は郵政民営化問題でない fact26: もし仮にその襲撃者が取り難いならこの篠は各労働者であるけど二方式だということはない ; $hypothesis$ = あの白縁は心安い ; $proof$ = 
fact19 -> int1: この空間計画は微笑ましい; int1 & fact13 -> int2: その布地は各労働者だ; int2 & fact22 -> int3: この篠は取り難いけど狙われ易いということはない; fact6 -> int4: この篠は取り難いけど狙われ易くないとしたら郵政民営化問題だ; int3 & int4 -> int5: この篠は郵政民営化問題である; int5 & fact17 -> int6: その小頭は核使用であるけれどそれは郵政民営化問題でない; int6 & fact23 -> int7: その襲撃者は二方式でない; fact24 -> int8: もしもその襲撃者が二方式でないとすると肘掛け付きでないかあるいは支配性でないかどちらもだ; int7 & int8 -> int9: その襲撃者は肘掛け付きでないかもしくは支配性でないか両方ともだ; int9 & fact5 -> hypothesis; __DISPROVED__
事実1: あの白縁は狙われ易い
事実2: もし仮にその小頭が郵政民営化問題だとするとこの篠は核使用である
事実3: 仮にその小頭が支配性であるならその襲撃者は核使用だけど支配性でない
事実4: もし仮になんらかのものが各労働者だとしたら犯すし更に微笑ましかない
事実5: 仮にその襲撃者が肘掛け付きでないかもしくはそれが支配性でないかあるいは両方ともだとするとあの白縁は心安くない
事実6: もし何らかのものが取り難いけどそれが狙われ易くないならばそれは郵政民営化問題である
事実7: 仮にその小頭が心安いけれどそれが郵政民営化問題でないならこの篠は狙われ易くない
事実8: もし微笑ましいものが狙われ易くないとすればそれは犯す
事実9: 二方式は郵政民営化問題であるが核使用でない
事実10: この空間計画が微笑ましくらないけど犯すとするとあの白縁は犯す
事実11: 各労働者は微笑ましくらないけれど犯す
事実12: 仮になんらかのものは犯すが微笑ましかないならそれは心安い
事実13: 「この空間計画が微笑ましいならその布地は各労働者だ」ということは事実である
事実14: その布地が郵政民営化問題でないとしたらこの空間計画は狙われ易くないししかもそれは取り難くない
事実15: もしも狙われ易くない物が取り難くないなら各労働者だ
事実16: 「「この篠は郵政民営化問題だ」ということは成り立つならその小頭は核使用であるが心安くない」ということは確かである
事実17: もし「この篠は郵政民営化問題である」ということは確かであるとしたら「その小頭は核使用だが郵政民営化問題でない」ということは事実である
事実18: この篠は取り難くないかそれは犯す
事実19: この空間計画は犯さないがしかし微笑ましい
事実20: もし仮に何らかのものが犯すとしたらそれは心安い
事実21: その小頭は散らばる
事実22: もし仮にその布地が各労働者であるとすればこの篠は取り難いけれどそれは狙われ易いということはない
事実23: もしその小頭が核使用であるがしかし郵政民営化問題であるということはないとするとその襲撃者は二方式でない
事実24: あるものは二方式でないなら肘掛け付きでないかあるいは支配性でないかあるいは両方だ
事実25: もし仮にこの篠が郵政民営化問題だが核使用であるということはないならその布地は郵政民営化問題でない
事実26: もし仮にその襲撃者が取り難いならこの篠は各労働者であるけど二方式だということはない

仮説: あの白縁は心安い
1. 事実19から、推論1: "この空間計画は微笑ましい"が導かれる
2. 推論1と事実13から、推論2: "その布地は各労働者だ"が導かれる
3. 推論2と事実22から、推論3: "この篠は取り難いけど狙われ易いということはない"が導かれる
4. 事実6から、推論4: "この篠は取り難いけど狙われ易くないとしたら郵政民営化問題だ"が導かれる
5. 推論3と推論4から、推論5: "この篠は郵政民営化問題である"が導かれる
6. 推論5と事実17から、推論6: "その小頭は核使用であるけれどそれは郵政民営化問題でない"が導かれる
7. 推論6と事実23から、推論7: "その襲撃者は二方式でない"が導かれる
8. 事実24から、推論8: "もしもその襲撃者が二方式でないとすると肘掛け付きでないかあるいは支配性でないかどちらもだ"が導かれる
9. 推論7と推論8から、推論9: "その襲撃者は肘掛け付きでないかもしくは支配性でないか両方ともだ"が導かれる
10. 推論9と事実5から、仮説が否定される

よって、仮説が否定されました。