あの設計通りはＷＤシステムでない
fact1: もし何かは払い下げればそれは干上がる fact2: このエヌワイＳＥは型抜きする fact3: このエヌワイＳＥは喜び歌う fact4: もしあの悪心が素っ気ないとするとこの尋問室は素っ気ない fact5: その念波は型抜きする fact6: 仮に「その念波は喜び歌うということはない」ということは真実であるならこのエヌワイＳＥはＷＤシステムであるということはないかまたは型抜きするか両方である fact7: 素っ気ない物は呆気ない fact8: もしもこのエヌワイＳＥが型抜きすればその念波は喜び歌う fact9: 呆気ないものは清し fact10: このＥワンセルはＷＤシステムである fact11: 仮にこの尋問室が清しならばあの念波は喜び歌うということはないけれどそれは巣箱だ fact12: もし仮にこのエヌワイＳＥがＷＤシステムだとしたらあの設計通りは型抜きする fact13: なんらかのものが浮腫まないなら構造的要因である一方で九．二．一でない fact14: 気高い物は熱し易いということはなくてかつ浮腫まない fact15: この社会的立場が構造的要因だが九．二．一でないならその盤面は払い下げる fact16: もしその盤面が干上がればその汎発型環状肉芽腫は素っ気ない fact17: 「このエヌワイＳＥはカウンセリング・マインドである」ということは事実である fact18: もし仮に「この社会的立場は気高くないししかもそれは日本人らしいということはない」ということは嘘だとするとそれは気高い fact19: その汎発型環状肉芽腫が素っ気ないとするとあの悪心は素っ気ない fact20: もし仮にその念波が喜び歌うとするとあの設計通りはＷＤシステムである
fact8 & fact2 -> int1: その念波は喜び歌う; int1 & fact20 -> hypothesis;
あの設計通りはＷＤシステムでない
fact29 -> int2: もし仮にこの尋問室は呆気ないならば「それは清し」ということは成り立つ; fact25 -> int3: 仮にこの尋問室が素っ気ないならそれは呆気ない; fact32 -> int4: もしも「その盤面は払い下げる」ということは成り立つとするとそれは干上がる; fact28 -> int5: もしこの社会的立場が浮腫まないなら構造的要因だし更に九．二．一であるということはない; fact26 -> int6: もしもこの社会的立場が気高いとしたら熱し易くないしかつ浮腫まない;
$facts$ = fact1: もし何かは払い下げればそれは干上がる fact2: このエヌワイＳＥは型抜きする fact3: このエヌワイＳＥは喜び歌う fact4: もしあの悪心が素っ気ないとするとこの尋問室は素っ気ない fact5: その念波は型抜きする fact6: 仮に「その念波は喜び歌うということはない」ということは真実であるならこのエヌワイＳＥはＷＤシステムであるということはないかまたは型抜きするか両方である fact7: 素っ気ない物は呆気ない fact8: もしもこのエヌワイＳＥが型抜きすればその念波は喜び歌う fact9: 呆気ないものは清し fact10: このＥワンセルはＷＤシステムである fact11: 仮にこの尋問室が清しならばあの念波は喜び歌うということはないけれどそれは巣箱だ fact12: もし仮にこのエヌワイＳＥがＷＤシステムだとしたらあの設計通りは型抜きする fact13: なんらかのものが浮腫まないなら構造的要因である一方で九．二．一でない fact14: 気高い物は熱し易いということはなくてかつ浮腫まない fact15: この社会的立場が構造的要因だが九．二．一でないならその盤面は払い下げる fact16: もしその盤面が干上がればその汎発型環状肉芽腫は素っ気ない fact17: 「このエヌワイＳＥはカウンセリング・マインドである」ということは事実である fact18: もし仮に「この社会的立場は気高くないししかもそれは日本人らしいということはない」ということは嘘だとするとそれは気高い fact19: その汎発型環状肉芽腫が素っ気ないとするとあの悪心は素っ気ない fact20: もし仮にその念波が喜び歌うとするとあの設計通りはＷＤシステムである ; $hypothesis$ = あの設計通りはＷＤシステムでない ; $proof$ = 
fact8 & fact2 -> int1: その念波は喜び歌う; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もし何かは払い下げればそれは干上がる
事実2: このエヌワイＳＥは型抜きする
事実3: このエヌワイＳＥは喜び歌う
事実4: もしあの悪心が素っ気ないとするとこの尋問室は素っ気ない
事実5: その念波は型抜きする
事実6: 仮に「その念波は喜び歌うということはない」ということは真実であるならこのエヌワイＳＥはＷＤシステムであるということはないかまたは型抜きするか両方である
事実7: 素っ気ない物は呆気ない
事実8: もしもこのエヌワイＳＥが型抜きすればその念波は喜び歌う
事実9: 呆気ないものは清し
事実10: このＥワンセルはＷＤシステムである
事実11: 仮にこの尋問室が清しならばあの念波は喜び歌うということはないけれどそれは巣箱だ
事実12: もし仮にこのエヌワイＳＥがＷＤシステムだとしたらあの設計通りは型抜きする
事実13: なんらかのものが浮腫まないなら構造的要因である一方で九．二．一でない
事実14: 気高い物は熱し易いということはなくてかつ浮腫まない
事実15: この社会的立場が構造的要因だが九．二．一でないならその盤面は払い下げる
事実16: もしその盤面が干上がればその汎発型環状肉芽腫は素っ気ない
事実17: 「このエヌワイＳＥはカウンセリング・マインドである」ということは事実である
事実18: もし仮に「この社会的立場は気高くないししかもそれは日本人らしいということはない」ということは嘘だとするとそれは気高い
事実19: その汎発型環状肉芽腫が素っ気ないとするとあの悪心は素っ気ない
事実20: もし仮にその念波が喜び歌うとするとあの設計通りはＷＤシステムである

仮説: あの設計通りはＷＤシステムでない
1. 事実8と事実2から、推論1: "その念波は喜び歌う"が導かれる
2. 推論1と事実20から、仮説が否定される

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