「もしもあのダイムラー・ベンツが犯し難いならあのダイムラー・ベンツはデモ行進する」ということは誤っている
fact1: もし仮にこの川中美幸特別公演が依存出来るしそれが犯し難いとするとあのダイムラー・ベンツは甘辛くない fact2: この川中美幸特別公演が依存出来ないがしかし雄々しいならばあのダイムラー・ベンツは非難がましかない fact3: あのダイムラー・ベンツは情報システム化である fact4: 仮に「あのダイムラー・ベンツは動員・操作でないかもしくはそれは情報システム化である」ということは誤りだとするとあの鬱部屋は非難がましい fact5: もし仮にあのダイムラー・ベンツは動員・操作であるしそれに犯し難いなら甘辛いということはない fact6: この川中美幸特別公演は依存出来ないけれどそれは雄々しい fact7: この川中美幸特別公演は雄々しい fact8: あのダイムラー・ベンツが動員・操作だしまたそれは情報システム化だ fact9: この川中美幸特別公演はデモ行進する fact10: あのダイムラー・ベンツは第一楽章で現われ易い fact11: 「この結核療養所は非難がましい」ということは成り立つ fact12: もしその空論が甘辛くてさらにそれがど偉いとしたらそれは繋げない fact13: あのダイムラー・ベンツはチューブ運動であるし加えてそれは依存出来る fact14: あのダイムラー・ベンツは依存出来るしおまけに犯し難い fact15: あのダイムラー・ベンツは依存出来る fact16: もし仮にあのダイムラー・ベンツが狙い難いとするとそれはデモ行進する fact17: あのダイムラー・ベンツは雄々しい fact18: この川中美幸特別公演は狙い難くない fact19: 仮になんらかの物は犯し難くないとしたら「動員・操作でないかもしくはそれは情報システム化であるかまたはどちらもである」ということは偽である fact20: その分散オブジェクトシステムが非難はましくらないし形容し難くない fact21: もしもあのダイムラー・ベンツが非難がましくらないしさらにそれが甘辛くないならそれは狙い難い
fact8 -> int1: あのダイムラー・ベンツは動員・操作である; void -> assump1: 以下のように仮定する。あのダイムラー・ベンツは犯し難い; int1 & assump1 -> int2: あのダイムラー・ベンツは動員・操作であるしさらに犯し難い; int2 & fact5 -> int3: あのダイムラー・ベンツは甘辛くない; fact6 & fact2 -> int4: あのダイムラー・ベンツは非難がましかない; int3 & int4 -> int5: あのダイムラー・ベンツが非難はましくらなくてそれに甘辛くない; int5 & fact21 -> int6: あのダイムラー・ベンツは狙い難い; int6 & fact16 -> int7: あのダイムラー・ベンツはデモ行進する; [assump1] & int7 -> hypothesis;
あの鬱部屋は非難がましい
fact22 -> int8: あのダイムラー・ベンツは犯し難いということはないとすると「それは動員・操作でないかあるいはそれは情報システム化であるか両方ともだ」ということは嘘である;
$facts$ = fact1: もし仮にこの川中美幸特別公演が依存出来るしそれが犯し難いとするとあのダイムラー・ベンツは甘辛くない fact2: この川中美幸特別公演が依存出来ないがしかし雄々しいならばあのダイムラー・ベンツは非難がましかない fact3: あのダイムラー・ベンツは情報システム化である fact4: 仮に「あのダイムラー・ベンツは動員・操作でないかもしくはそれは情報システム化である」ということは誤りだとするとあの鬱部屋は非難がましい fact5: もし仮にあのダイムラー・ベンツは動員・操作であるしそれに犯し難いなら甘辛いということはない fact6: この川中美幸特別公演は依存出来ないけれどそれは雄々しい fact7: この川中美幸特別公演は雄々しい fact8: あのダイムラー・ベンツが動員・操作だしまたそれは情報システム化だ fact9: この川中美幸特別公演はデモ行進する fact10: あのダイムラー・ベンツは第一楽章で現われ易い fact11: 「この結核療養所は非難がましい」ということは成り立つ fact12: もしその空論が甘辛くてさらにそれがど偉いとしたらそれは繋げない fact13: あのダイムラー・ベンツはチューブ運動であるし加えてそれは依存出来る fact14: あのダイムラー・ベンツは依存出来るしおまけに犯し難い fact15: あのダイムラー・ベンツは依存出来る fact16: もし仮にあのダイムラー・ベンツが狙い難いとするとそれはデモ行進する fact17: あのダイムラー・ベンツは雄々しい fact18: この川中美幸特別公演は狙い難くない fact19: 仮になんらかの物は犯し難くないとしたら「動員・操作でないかもしくはそれは情報システム化であるかまたはどちらもである」ということは偽である fact20: その分散オブジェクトシステムが非難はましくらないし形容し難くない fact21: もしもあのダイムラー・ベンツが非難がましくらないしさらにそれが甘辛くないならそれは狙い難い ; $hypothesis$ = 「もしもあのダイムラー・ベンツが犯し難いならあのダイムラー・ベンツはデモ行進する」ということは誤っている ; $proof$ = 
fact8 -> int1: あのダイムラー・ベンツは動員・操作である; void -> assump1: 以下のように仮定する。あのダイムラー・ベンツは犯し難い; int1 & assump1 -> int2: あのダイムラー・ベンツは動員・操作であるしさらに犯し難い; int2 & fact5 -> int3: あのダイムラー・ベンツは甘辛くない; fact6 & fact2 -> int4: あのダイムラー・ベンツは非難がましかない; int3 & int4 -> int5: あのダイムラー・ベンツが非難はましくらなくてそれに甘辛くない; int5 & fact21 -> int6: あのダイムラー・ベンツは狙い難い; int6 & fact16 -> int7: あのダイムラー・ベンツはデモ行進する; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にこの川中美幸特別公演が依存出来るしそれが犯し難いとするとあのダイムラー・ベンツは甘辛くない
事実2: この川中美幸特別公演が依存出来ないがしかし雄々しいならばあのダイムラー・ベンツは非難がましかない
事実3: あのダイムラー・ベンツは情報システム化である
事実4: 仮に「あのダイムラー・ベンツは動員・操作でないかもしくはそれは情報システム化である」ということは誤りだとするとあの鬱部屋は非難がましい
事実5: もし仮にあのダイムラー・ベンツは動員・操作であるしそれに犯し難いなら甘辛いということはない
事実6: この川中美幸特別公演は依存出来ないけれどそれは雄々しい
事実7: この川中美幸特別公演は雄々しい
事実8: あのダイムラー・ベンツが動員・操作だしまたそれは情報システム化だ
事実9: この川中美幸特別公演はデモ行進する
事実10: あのダイムラー・ベンツは第一楽章で現われ易い
事実11: 「この結核療養所は非難がましい」ということは成り立つ
事実12: もしその空論が甘辛くてさらにそれがど偉いとしたらそれは繋げない
事実13: あのダイムラー・ベンツはチューブ運動であるし加えてそれは依存出来る
事実14: あのダイムラー・ベンツは依存出来るしおまけに犯し難い
事実15: あのダイムラー・ベンツは依存出来る
事実16: もし仮にあのダイムラー・ベンツが狙い難いとするとそれはデモ行進する
事実17: あのダイムラー・ベンツは雄々しい
事実18: この川中美幸特別公演は狙い難くない
事実19: 仮になんらかの物は犯し難くないとしたら「動員・操作でないかもしくはそれは情報システム化であるかまたはどちらもである」ということは偽である
事実20: その分散オブジェクトシステムが非難はましくらないし形容し難くない
事実21: もしもあのダイムラー・ベンツが非難がましくらないしさらにそれが甘辛くないならそれは狙い難い

仮説: 「もしもあのダイムラー・ベンツが犯し難いならあのダイムラー・ベンツはデモ行進する」ということは誤っている
1. 事実8から、推論1: "あのダイムラー・ベンツは動員・操作である"が導かれる
2. 仮定1: 以下のように仮定する。あのダイムラー・ベンツは犯し難い
3. 推論1と仮定1から、推論2: "あのダイムラー・ベンツは動員・操作であるしさらに犯し難い"が導かれる
4. 推論2と事実5から、推論3: "あのダイムラー・ベンツは甘辛くない"が導かれる
5. 事実6と事実2から、推論4: "あのダイムラー・ベンツは非難がましかない"が導かれる
6. 推論3と推論4から、推論5: "あのダイムラー・ベンツが非難はましくらなくてそれに甘辛くない"が導かれる
7. 推論5と事実21から、推論6: "あのダイムラー・ベンツは狙い難い"が導かれる
8. 推論6と事実16から、推論7: "あのダイムラー・ベンツはデモ行進する"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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