あの原処分は臥蓐だ
fact1: なにかは仮想しないならば「積もらなくてしかも見易い」ということは成り立たない fact2: その症例報告書は生菓子でない fact3: もし仮にこの宴会は鋳直さないとすると「あの中脳黒質は鍋肌でない」ということは確かである fact4: その七分野は電力開発でないけれどＯＢ臭い fact5: ＯＢ臭くないものは臥蓐であるしさらに鍋肌である fact6: もしもその症例報告書が鋳直すということはなくてＯＢ臭くないならあの原処分は臥蓐でない fact7: あの代表作は鍋肌だということはない fact8: もし仮にあの原処分が臥蓐でないがしかし鋳直すならこの宴会はＯＢ臭くない fact9: 仮に「あるものは仮想するがデータ・モデルでない」ということは間違いであるならばそれは仮想しない fact10: 仮になんらかの物が鍋肌でないとしたらそれはＶＳトゥルーベガでないし更にそれはＯＢ臭い fact11: 仮にこの宴会がＯＢ臭いとするとその症例報告書はＯＢ臭くない fact12: もしも「あの原処分は見易い」ということは成り立てばその症例報告書は生菓子である一方でそれは臥蓐でない fact13: もしこの宴会がＯＢ臭いならばその症例報告書は鋳直さなくてしかもＯＢ臭くない fact14: この宴会は鍋肌でない一方でＯＢ臭い fact15: 仮想するけれどデータ・モデルでないというものはない
fact14 -> int1: この宴会はＯＢ臭い; int1 & fact13 -> int2: 「その症例報告書は鋳直さないし更にＯＢ臭くない」ということは真実である; int2 & fact6 -> hypothesis;
あの中脳黒質はＶＳトゥルーベガでないけれどＯＢ臭い
fact17 -> int3: 仮にあの中脳黒質が鍋肌でないとしたらそれはＶＳトゥルーベガでなくてＯＢ臭い; fact21 -> int4: もし仮に「そのラムネは仮想するがしかしそれはデータ・モデルだということはない」ということは事実と異なれば仮想しない; fact18 -> int5: 「そのラムネは仮想するがデータ・モデルでない」ということは間違っている; int4 & int5 -> int6: そのラムネは仮想しない; fact20 -> int7: そのラムネは仮想しないならば「積もらないけれど見易い」ということは成り立たない; int6 & int7 -> int8: 「そのラムネは積もるということはないが見易い」ということは嘘だ; int8 -> int9: 積もらなくてまた見易いという物はない; int9 -> int10: 「この都市財政収入は積もらないけど見易い」ということは成り立たない;
$facts$ = fact1: なにかは仮想しないならば「積もらなくてしかも見易い」ということは成り立たない fact2: その症例報告書は生菓子でない fact3: もし仮にこの宴会は鋳直さないとすると「あの中脳黒質は鍋肌でない」ということは確かである fact4: その七分野は電力開発でないけれどＯＢ臭い fact5: ＯＢ臭くないものは臥蓐であるしさらに鍋肌である fact6: もしもその症例報告書が鋳直すということはなくてＯＢ臭くないならあの原処分は臥蓐でない fact7: あの代表作は鍋肌だということはない fact8: もし仮にあの原処分が臥蓐でないがしかし鋳直すならこの宴会はＯＢ臭くない fact9: 仮に「あるものは仮想するがデータ・モデルでない」ということは間違いであるならばそれは仮想しない fact10: 仮になんらかの物が鍋肌でないとしたらそれはＶＳトゥルーベガでないし更にそれはＯＢ臭い fact11: 仮にこの宴会がＯＢ臭いとするとその症例報告書はＯＢ臭くない fact12: もしも「あの原処分は見易い」ということは成り立てばその症例報告書は生菓子である一方でそれは臥蓐でない fact13: もしこの宴会がＯＢ臭いならばその症例報告書は鋳直さなくてしかもＯＢ臭くない fact14: この宴会は鍋肌でない一方でＯＢ臭い fact15: 仮想するけれどデータ・モデルでないというものはない ; $hypothesis$ = あの原処分は臥蓐だ ; $proof$ = 
fact14 -> int1: この宴会はＯＢ臭い; int1 & fact13 -> int2: 「その症例報告書は鋳直さないし更にＯＢ臭くない」ということは真実である; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: なにかは仮想しないならば「積もらなくてしかも見易い」ということは成り立たない
事実2: その症例報告書は生菓子でない
事実3: もし仮にこの宴会は鋳直さないとすると「あの中脳黒質は鍋肌でない」ということは確かである
事実4: その七分野は電力開発でないけれどＯＢ臭い
事実5: ＯＢ臭くないものは臥蓐であるしさらに鍋肌である
事実6: もしもその症例報告書が鋳直すということはなくてＯＢ臭くないならあの原処分は臥蓐でない
事実7: あの代表作は鍋肌だということはない
事実8: もし仮にあの原処分が臥蓐でないがしかし鋳直すならこの宴会はＯＢ臭くない
事実9: 仮に「あるものは仮想するがデータ・モデルでない」ということは間違いであるならばそれは仮想しない
事実10: 仮になんらかの物が鍋肌でないとしたらそれはＶＳトゥルーベガでないし更にそれはＯＢ臭い
事実11: 仮にこの宴会がＯＢ臭いとするとその症例報告書はＯＢ臭くない
事実12: もしも「あの原処分は見易い」ということは成り立てばその症例報告書は生菓子である一方でそれは臥蓐でない
事実13: もしこの宴会がＯＢ臭いならばその症例報告書は鋳直さなくてしかもＯＢ臭くない
事実14: この宴会は鍋肌でない一方でＯＢ臭い
事実15: 仮想するけれどデータ・モデルでないというものはない

仮説: あの原処分は臥蓐だ
1. 事実14から、推論1: "この宴会はＯＢ臭い"が導かれる
2. 推論1と事実13から、推論2: "「その症例報告書は鋳直さないし更にＯＢ臭くない」ということは真実である"が導かれる
3. 推論2と事実6から、仮説が否定される

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