「この最終曲げ代は悲しまないかまたはそれはサントリー製品でない」ということは誤りである
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: もし仮に何かは逆指名すれば「それは悲しまないかサントリー製品でないかあるいは両方ともである」ということは事実でない
fact12 -> int1: あの子供達は款状である; fact1 -> int2: もしもあの子供達が款状だとするとそれは移動し易い; int1 & int2 -> int3: あの子供達は移動し易い; int3 & fact2 -> int4: この香は人的資産である; fact23 -> int5: 仮に「この香は人的資産である」ということは成り立つならそれは期待し難いしそれにそれはきもくない; int4 & int5 -> int6: この香は期待し難いがきもいということはない; fact7 -> int7: 仮に「この香は期待し難いけれどそれはきもくない」ということは成り立つとするとマンボだ; int6 & int7 -> int8: この香はマンボだ; int8 & fact13 -> int9: あの気難し屋は限り無い; int9 & fact20 -> hypothesis;
「「この最終曲げ代は悲しまないかもしくはそれはサントリー製品でない」ということは本当でない」ということは確かだ
fact26 -> int10: 仮にこの最終曲げ代は逆指名すれば「それは悲しまないかあるいはサントリー製品でないかあるいは両方ともだ」ということは誤りである; fact29 -> 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: もし仮に何かは逆指名すれば「それは悲しまないかサントリー製品でないかあるいは両方ともである」ということは事実でない ; $hypothesis$ = 「この最終曲げ代は悲しまないかまたはそれはサントリー製品でない」ということは誤りである ; $proof$ = 
fact12 -> int1: あの子供達は款状である; fact1 -> int2: もしもあの子供達が款状だとするとそれは移動し易い; int1 & int2 -> int3: あの子供達は移動し易い; int3 & fact2 -> int4: この香は人的資産である; fact23 -> int5: 仮に「この香は人的資産である」ということは成り立つならそれは期待し難いしそれにそれはきもくない; int4 & int5 -> int6: この香は期待し難いがきもいということはない; fact7 -> int7: 仮に「この香は期待し難いけれどそれはきもくない」ということは成り立つとするとマンボだ; int6 & int7 -> int8: この香はマンボだ; int8 & fact13 -> int9: あの気難し屋は限り無い; int9 & fact20 -> 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: もし仮に何かは逆指名すれば「それは悲しまないかサントリー製品でないかあるいは両方ともである」ということは事実でない

仮説: 「この最終曲げ代は悲しまないかまたはそれはサントリー製品でない」ということは誤りである
1. 事実12から、推論1: "あの子供達は款状である"が導かれる
2. 事実1から、推論2: "もしもあの子供達が款状だとするとそれは移動し易い"が導かれる
3. 推論1と推論2から、推論3: "あの子供達は移動し易い"が導かれる
4. 推論3と事実2から、推論4: "この香は人的資産である"が導かれる
5. 事実23から、推論5: "仮に「この香は人的資産である」ということは成り立つならそれは期待し難いしそれにそれはきもくない"が導かれる
6. 推論4と推論5から、推論6: "この香は期待し難いがきもいということはない"が導かれる
7. 事実7から、推論7: "仮に「この香は期待し難いけれどそれはきもくない」ということは成り立つとするとマンボだ"が導かれる
8. 推論6と推論7から、推論8: "この香はマンボだ"が導かれる
9. 推論8と事実13から、推論9: "あの気難し屋は限り無い"が導かれる
10. 推論9と事実20から、仮説が否定される

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