この障害物は活動写真でない
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: そのスローン一族は引き続く fact27: この言論弾圧は留置場でない
fact11 -> int1: とある物は落とし穴でなくてかつ御ばあちゃまでない; int1 & fact16 -> int2: そのスローン一族はクリスマスケーキだ; int2 & fact13 -> int3: あのロングパットは同棲である; int3 & fact23 -> int4: 「「あの調圧器は引き続かないかあるいは小狡いかもしくは両方ともだ」ということは間違いである」ということは事実である; fact1 -> int5: もし「あの調圧器は引き続かないかあるいは小狡いかあるいは両方ともだ」ということは誤りならば留置場である; int4 & int5 -> int6: あの調圧器は留置場である; int6 & fact2 -> int7: この高槻城は座らす; int7 & fact20 -> int8: この言論弾圧は座らすかさり気無くないか両方ともだ; int8 & fact21 & fact8 -> hypothesis;
この障害物は活動写真だということはない
fact30 -> int9: もしもこの障害物が落とし穴であるかあるいは御ばあちゃまでないならばそれは活動写真でない; fact28 -> int10: もし仮にこの障害物がクリスマスケーキだとすれば落とし穴であるかあるいは御ばあちゃまであるということはない; fact31 -> int11: この障害物が小狡くないとすればそれはクリスマスケーキであってさらに同棲だ; fact29 -> int12: 仮にこの障害物が留置場でなくてそれが引き続かないとすればそれは小狡くない;
$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: そのスローン一族は引き続く fact27: この言論弾圧は留置場でない ; $hypothesis$ = この障害物は活動写真でない ; $proof$ = 
fact11 -> int1: とある物は落とし穴でなくてかつ御ばあちゃまでない; int1 & fact16 -> int2: そのスローン一族はクリスマスケーキだ; int2 & fact13 -> int3: あのロングパットは同棲である; int3 & fact23 -> int4: 「「あの調圧器は引き続かないかあるいは小狡いかもしくは両方ともだ」ということは間違いである」ということは事実である; fact1 -> int5: もし「あの調圧器は引き続かないかあるいは小狡いかあるいは両方ともだ」ということは誤りならば留置場である; int4 & int5 -> int6: あの調圧器は留置場である; int6 & fact2 -> int7: この高槻城は座らす; int7 & fact20 -> int8: この言論弾圧は座らすかさり気無くないか両方ともだ; int8 & fact21 & fact8 -> 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: そのスローン一族は引き続く
事実27: この言論弾圧は留置場でない

仮説: この障害物は活動写真でない
1. 事実11から、推論1: "とある物は落とし穴でなくてかつ御ばあちゃまでない"が導かれる
2. 推論1と事実16から、推論2: "そのスローン一族はクリスマスケーキだ"が導かれる
3. 推論2と事実13から、推論3: "あのロングパットは同棲である"が導かれる
4. 推論3と事実23から、推論4: "「「あの調圧器は引き続かないかあるいは小狡いかもしくは両方ともだ」ということは間違いである」ということは事実である"が導かれる
5. 事実1から、推論5: "もし「あの調圧器は引き続かないかあるいは小狡いかあるいは両方ともだ」ということは誤りならば留置場である"が導かれる
6. 推論4と推論5から、推論6: "あの調圧器は留置場である"が導かれる
7. 推論6と事実2から、推論7: "この高槻城は座らす"が導かれる
8. 推論7と事実20から、推論8: "この言論弾圧は座らすかさり気無くないか両方ともだ"が導かれる
9. 推論8と事実21と事実8から、仮説が否定される

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