この脱色は大人らしいしおまけに食器洗い機である
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: 「あの軍事的脅威は事付けであるしさらにそれは高度情報化社会だ」ということは偽だ
fact8 & fact12 -> int1: あの軍事的脅威はブランド戦略である; int1 & fact4 -> int2: この脱色は大人らしい; fact20 -> int3: もしこの脱色が散らばり具合ならばそれは食器洗い機である; fact5 & fact15 -> int4: この脱色は散らばり具合だ; int3 & int4 -> int5: 「この脱色は食器洗い機である」ということは確かだ; int2 & int5 -> hypothesis;
fact8 & fact12 -> int1: {B}{a}; int1 & fact4 -> int2: {A}{b}; fact20 -> int3: {D}{b} -> {C}{b}; fact5 & fact15 -> int4: {D}{b}; int3 & int4 -> int5: {C}{b}; int2 & int5 -> hypothesis;
あの穏健フス派はブランド戦略だ
$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$ = 
fact8 & fact12 -> int1: あの軍事的脅威はブランド戦略である; int1 & fact4 -> int2: この脱色は大人らしい; fact20 -> int3: もしこの脱色が散らばり具合ならばそれは食器洗い機である; fact5 & fact15 -> int4: この脱色は散らばり具合だ; int3 & int4 -> int5: 「この脱色は食器洗い機である」ということは確かだ; int2 & int5 -> hypothesis; __PROVED__
事実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. 事実8と事実12から、推論1: "あの軍事的脅威はブランド戦略である"が導かれる
2. 推論1と事実4から、推論2: "この脱色は大人らしい"が導かれる
3. 事実20から、推論3: "もしこの脱色が散らばり具合ならばそれは食器洗い機である"が導かれる
4. 事実5と事実15から、推論4: "この脱色は散らばり具合だ"が導かれる
5. 推論3と推論4から、推論5: "「この脱色は食器洗い機である」ということは確かだ"が導かれる
6. 推論2と推論5から、仮説が導かれる

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