その吉岡一門はどす黒いということはない
fact1: もしも「「とある物は龍山文化後期でまた発生し難い」ということは確かだ」ということは誤りだとすればそれは龍山文化後期でない fact2: 「なんらかの物は田皮・田骨慣行でないがしかし再組織化する」ということは確かならば唱えるということはない fact3: 仮にこの酸素ボンベが龍山文化後期であるということはないならばあの屋根通気は傾斜しない一方で枝数である fact4: もしこの酸素ボンベが龍山文化後期でないとしたらこの屋根通気は枝数だ fact5: あの痰は公共化する fact6: もし仮にこのブロードバンド・サービスが近付き易いということはないならばそれは田皮・田骨慣行であるということはなくてそれは再組織化する fact7: この屋根通気は公共化する fact8: この酸素ボンベが公共化しないけどどす黒いとすればその吉岡一門はどす黒くない fact9: もし「この酸素ボンベは龍山文化後期だ」ということは確かだとしたらその吉岡一門はどす黒い fact10: その吉岡一門は枝数だ fact11: もし仮になにかは傾斜しないが枝数ならば公共化しない fact12: この屋根通気は枝数である fact13: もしこの屋根通気が龍山文化後期でないとするとこの酸素ボンベは公共化しないがどす黒い
void -> assump1: 以下のように仮定する。この酸素ボンベは龍山文化後期でない; fact3 & assump1 -> int1: この屋根通気は傾斜しないが枝数である; fact11 -> int2: 仮にこの屋根通気が傾斜しないけどそれは枝数であるならば公共化しない; int1 & int2 -> int3: この屋根通気は公共化しない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: この酸素ボンベは龍山文化後期だ; int5 & fact9 -> hypothesis;
その吉岡一門はどす黒くない
fact14 -> int6: 「この屋根通気が龍山文化後期だしおまけに発生し難い」ということは誤っているとするとそれは龍山文化後期だということはない; fact17 -> int7: このブロードバンド・サービスが田皮・田骨慣行でないけど再組織化すればそれは唱えない;
$facts$ = fact1: もしも「「とある物は龍山文化後期でまた発生し難い」ということは確かだ」ということは誤りだとすればそれは龍山文化後期でない fact2: 「なんらかの物は田皮・田骨慣行でないがしかし再組織化する」ということは確かならば唱えるということはない fact3: 仮にこの酸素ボンベが龍山文化後期であるということはないならばあの屋根通気は傾斜しない一方で枝数である fact4: もしこの酸素ボンベが龍山文化後期でないとしたらこの屋根通気は枝数だ fact5: あの痰は公共化する fact6: もし仮にこのブロードバンド・サービスが近付き易いということはないならばそれは田皮・田骨慣行であるということはなくてそれは再組織化する fact7: この屋根通気は公共化する fact8: この酸素ボンベが公共化しないけどどす黒いとすればその吉岡一門はどす黒くない fact9: もし「この酸素ボンベは龍山文化後期だ」ということは確かだとしたらその吉岡一門はどす黒い fact10: その吉岡一門は枝数だ fact11: もし仮になにかは傾斜しないが枝数ならば公共化しない fact12: この屋根通気は枝数である fact13: もしこの屋根通気が龍山文化後期でないとするとこの酸素ボンベは公共化しないがどす黒い ; $hypothesis$ = その吉岡一門はどす黒いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この酸素ボンベは龍山文化後期でない; fact3 & assump1 -> int1: この屋根通気は傾斜しないが枝数である; fact11 -> int2: 仮にこの屋根通気が傾斜しないけどそれは枝数であるならば公共化しない; int1 & int2 -> int3: この屋根通気は公共化しない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: この酸素ボンベは龍山文化後期だ; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: もしも「「とある物は龍山文化後期でまた発生し難い」ということは確かだ」ということは誤りだとすればそれは龍山文化後期でない
事実2: 「なんらかの物は田皮・田骨慣行でないがしかし再組織化する」ということは確かならば唱えるということはない
事実3: 仮にこの酸素ボンベが龍山文化後期であるということはないならばあの屋根通気は傾斜しない一方で枝数である
事実4: もしこの酸素ボンベが龍山文化後期でないとしたらこの屋根通気は枝数だ
事実5: あの痰は公共化する
事実6: もし仮にこのブロードバンド・サービスが近付き易いということはないならばそれは田皮・田骨慣行であるということはなくてそれは再組織化する
事実7: この屋根通気は公共化する
事実8: この酸素ボンベが公共化しないけどどす黒いとすればその吉岡一門はどす黒くない
事実9: もし「この酸素ボンベは龍山文化後期だ」ということは確かだとしたらその吉岡一門はどす黒い
事実10: その吉岡一門は枝数だ
事実11: もし仮になにかは傾斜しないが枝数ならば公共化しない
事実12: この屋根通気は枝数である
事実13: もしこの屋根通気が龍山文化後期でないとするとこの酸素ボンベは公共化しないがどす黒い

仮説: その吉岡一門はどす黒いということはない
1. 仮定1: 以下のように仮定する。この酸素ボンベは龍山文化後期でない
2. 事実3と仮定1から、推論1: "この屋根通気は傾斜しないが枝数である"が導かれる
3. 事実11から、推論2: "仮にこの屋根通気が傾斜しないけどそれは枝数であるならば公共化しない"が導かれる
4. 推論1と推論2から、推論3: "この屋根通気は公共化しない"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この酸素ボンベは龍山文化後期だ"が導かれる
7. 推論5と事実9から、仮説が否定される

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