このチャレンジ方式はＤＶＤプレーヤーでない
fact1: もしも何らかの物が二作目であるかもしくはそれが冗談ぽくないかどちらもだとしたらその凝固はＤＶＤプレーヤーでない fact2: この苺は二作目であるかまたは冗談ぽくない fact3: 仮にその過ぎ越しは起き為さるがしかし死滅しないとすると「この苺は起き為さらない」ということは成り立つ fact4: この苺は起き為さるしその上胡散臭い fact5: 仮になんらかの物は戻り易くないなら「それは歩き易くて女性らしい」ということは誤りである fact6: その凝固は戻り易いということはない fact7: 「なんらかの物は歩き易いし女性らしい」ということは偽だとしたらあくどいということはない fact8: もしなんらかの物が胡散臭くないとしたら起き為さるしかつそれは死滅する fact9: 仮に何らかのものは起き為さらないとしたら「ＤＶＤプレーヤーだけれど胡散臭くない」ということは成り立つということはない fact10: もしも何らかのものは起き為されば「それはあくどくなくてまた死滅しない」ということは成り立つということはない fact11: もし仮にあくどくない物はＤＶＤプレーヤーだということはないなら「胡散臭くない」ということは成り立つ fact12: 仮に「この苺はあくどくないしおまけにそれは死滅しない」ということは事実と異なるならばあのチャレンジ方式はＤＶＤプレーヤーである
fact4 -> int1: この苺は起き為さる; fact10 -> int2: 仮にこの苺は起き為さるとしたら「あくどくなくて更に死滅しない」ということは嘘だ; int1 & int2 -> int3: 「この苺はあくどくなくてそれにそれは死滅しない」ということは成り立たない; int3 & fact12 -> hypothesis;
このチャレンジ方式はＤＶＤプレーヤーでない
fact14 -> int4: この苺は起き為さらないならば「ＤＶＤプレーヤーであるしおまけにそれは胡散臭くない」ということは誤りだ;
$facts$ = fact1: もしも何らかの物が二作目であるかもしくはそれが冗談ぽくないかどちらもだとしたらその凝固はＤＶＤプレーヤーでない fact2: この苺は二作目であるかまたは冗談ぽくない fact3: 仮にその過ぎ越しは起き為さるがしかし死滅しないとすると「この苺は起き為さらない」ということは成り立つ fact4: この苺は起き為さるしその上胡散臭い fact5: 仮になんらかの物は戻り易くないなら「それは歩き易くて女性らしい」ということは誤りである fact6: その凝固は戻り易いということはない fact7: 「なんらかの物は歩き易いし女性らしい」ということは偽だとしたらあくどいということはない fact8: もしなんらかの物が胡散臭くないとしたら起き為さるしかつそれは死滅する fact9: 仮に何らかのものは起き為さらないとしたら「ＤＶＤプレーヤーだけれど胡散臭くない」ということは成り立つということはない fact10: もしも何らかのものは起き為されば「それはあくどくなくてまた死滅しない」ということは成り立つということはない fact11: もし仮にあくどくない物はＤＶＤプレーヤーだということはないなら「胡散臭くない」ということは成り立つ fact12: 仮に「この苺はあくどくないしおまけにそれは死滅しない」ということは事実と異なるならばあのチャレンジ方式はＤＶＤプレーヤーである ; $hypothesis$ = このチャレンジ方式はＤＶＤプレーヤーでない ; $proof$ = 
fact4 -> int1: この苺は起き為さる; fact10 -> int2: 仮にこの苺は起き為さるとしたら「あくどくなくて更に死滅しない」ということは嘘だ; int1 & int2 -> int3: 「この苺はあくどくなくてそれにそれは死滅しない」ということは成り立たない; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が二作目であるかもしくはそれが冗談ぽくないかどちらもだとしたらその凝固はＤＶＤプレーヤーでない
事実2: この苺は二作目であるかまたは冗談ぽくない
事実3: 仮にその過ぎ越しは起き為さるがしかし死滅しないとすると「この苺は起き為さらない」ということは成り立つ
事実4: この苺は起き為さるしその上胡散臭い
事実5: 仮になんらかの物は戻り易くないなら「それは歩き易くて女性らしい」ということは誤りである
事実6: その凝固は戻り易いということはない
事実7: 「なんらかの物は歩き易いし女性らしい」ということは偽だとしたらあくどいということはない
事実8: もしなんらかの物が胡散臭くないとしたら起き為さるしかつそれは死滅する
事実9: 仮に何らかのものは起き為さらないとしたら「ＤＶＤプレーヤーだけれど胡散臭くない」ということは成り立つということはない
事実10: もしも何らかのものは起き為されば「それはあくどくなくてまた死滅しない」ということは成り立つということはない
事実11: もし仮にあくどくない物はＤＶＤプレーヤーだということはないなら「胡散臭くない」ということは成り立つ
事実12: 仮に「この苺はあくどくないしおまけにそれは死滅しない」ということは事実と異なるならばあのチャレンジ方式はＤＶＤプレーヤーである

仮説: このチャレンジ方式はＤＶＤプレーヤーでない
1. 事実4から、推論1: "この苺は起き為さる"が導かれる
2. 事実10から、推論2: "仮にこの苺は起き為さるとしたら「あくどくなくて更に死滅しない」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "「この苺はあくどくなくてそれにそれは死滅しない」ということは成り立たない"が導かれる
4. 推論3と事実12から、仮説が否定される

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