その風聞はゲレンデである
fact1: 「その風聞は国家プロジェクトであるかまたは愛情深くないかどちらもだ」ということは誤っているならそれはゲレンデでない fact2: 仮にその錯誤が訂正等だとしたらそれは押し開かないしそれにユーティリティソフトでない fact3: 仮になんらかのものが伴え内侍でないとするとそれは御高くてそれはゲレンデである fact4: 「この運転感覚は愛情深いということはないけれど国家プロジェクトだ」ということは偽なら「その風聞は伴え内侍でない」ということは正しい fact5: この運転感覚は伴え内侍だ fact6: 「仮に「何かはカレー風味でないかまたは思い易くないかもしくはどちらもだ」ということは誤りであるとしたらそれは集まり易くない」ということは確かである fact7: もし仮にとあるものが仕方無いならそれは図解しない fact8: 「この運転感覚は学究でない」ということは事実である fact9: もしとあるものが御高いとすればそれは愛情深くない fact10: この運転感覚は御高くてそれは伴え内侍だ fact11: もしもあの屎尿はいみじならば「「この運転感覚は愛情深くないけれど国家プロジェクトだ」ということは誤っていない」ということは成り立つということはない fact12: この運転感覚は愛情深いということはないとしたら「その風聞は国家プロジェクトでないかあるいはそれは愛情深くないかどちらもだ」ということは誤っている fact13: もしも「とあるものは国家プロジェクトでないかあるいはそれは愛情深くない」ということは誤りならばゲレンデでない fact14: 「その錯誤は訂正等である」ということは確かである fact15: 仮に「この運転感覚は愛情深くない」ということは成り立つとしたらその風聞は国家プロジェクトだ fact16: その風聞は国家プロジェクトだ fact17: 「その風聞は惑乱しないかオリンピック作戦であるということはないかあるいは両方ともである」ということは成り立たない fact18: あるものが遇すならそれは割り込まない fact19: 仮に「とある物は国家プロジェクトであるかまたは愛情深くないかもしくはどちらもである」ということは偽であるとするとゲレンデでない fact20: 犬種は得心するということはない fact21: なんらかの物が入れ過ぎないとするとそれは気高くていみじ
fact10 -> int1: この運転感覚は御高い; fact9 -> int2: この運転感覚が御高いならばそれは愛情深くない; int1 & int2 -> int3: この運転感覚は愛情深くない; int3 & fact12 -> int4: 「その風聞は国家プロジェクトでないかまたは愛情深くないかあるいはどちらもだ」ということは成り立たない; fact13 -> int5: 仮に「その風聞は国家プロジェクトでないかそれは愛情深くないかもしくは両方だ」ということは事実でないとしたらゲレンデでない; int4 & int5 -> hypothesis;
その風聞はゲレンデだ
fact27 -> int6: 仮にその風聞は伴え内侍でないならそれは御高いしおまけにゲレンデである; fact24 -> int7: 仮にあの屎尿が入れ過ぎないとすると気高いししかもいみじ; fact25 & fact26 -> int8: その錯誤は押し開かないしユーティリティソフトでない; int8 -> int9: なにがしかの物は押し開くということはないしユーティリティソフトであるということはない;
$facts$ = fact1: 「その風聞は国家プロジェクトであるかまたは愛情深くないかどちらもだ」ということは誤っているならそれはゲレンデでない fact2: 仮にその錯誤が訂正等だとしたらそれは押し開かないしそれにユーティリティソフトでない fact3: 仮になんらかのものが伴え内侍でないとするとそれは御高くてそれはゲレンデである fact4: 「この運転感覚は愛情深いということはないけれど国家プロジェクトだ」ということは偽なら「その風聞は伴え内侍でない」ということは正しい fact5: この運転感覚は伴え内侍だ fact6: 「仮に「何かはカレー風味でないかまたは思い易くないかもしくはどちらもだ」ということは誤りであるとしたらそれは集まり易くない」ということは確かである fact7: もし仮にとあるものが仕方無いならそれは図解しない fact8: 「この運転感覚は学究でない」ということは事実である fact9: もしとあるものが御高いとすればそれは愛情深くない fact10: この運転感覚は御高くてそれは伴え内侍だ fact11: もしもあの屎尿はいみじならば「「この運転感覚は愛情深くないけれど国家プロジェクトだ」ということは誤っていない」ということは成り立つということはない fact12: この運転感覚は愛情深いということはないとしたら「その風聞は国家プロジェクトでないかあるいはそれは愛情深くないかどちらもだ」ということは誤っている fact13: もしも「とあるものは国家プロジェクトでないかあるいはそれは愛情深くない」ということは誤りならばゲレンデでない fact14: 「その錯誤は訂正等である」ということは確かである fact15: 仮に「この運転感覚は愛情深くない」ということは成り立つとしたらその風聞は国家プロジェクトだ fact16: その風聞は国家プロジェクトだ fact17: 「その風聞は惑乱しないかオリンピック作戦であるということはないかあるいは両方ともである」ということは成り立たない fact18: あるものが遇すならそれは割り込まない fact19: 仮に「とある物は国家プロジェクトであるかまたは愛情深くないかもしくはどちらもである」ということは偽であるとするとゲレンデでない fact20: 犬種は得心するということはない fact21: なんらかの物が入れ過ぎないとするとそれは気高くていみじ ; $hypothesis$ = その風聞はゲレンデである ; $proof$ = 
fact10 -> int1: この運転感覚は御高い; fact9 -> int2: この運転感覚が御高いならばそれは愛情深くない; int1 & int2 -> int3: この運転感覚は愛情深くない; int3 & fact12 -> int4: 「その風聞は国家プロジェクトでないかまたは愛情深くないかあるいはどちらもだ」ということは成り立たない; fact13 -> int5: 仮に「その風聞は国家プロジェクトでないかそれは愛情深くないかもしくは両方だ」ということは事実でないとしたらゲレンデでない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 「その風聞は国家プロジェクトであるかまたは愛情深くないかどちらもだ」ということは誤っているならそれはゲレンデでない
事実2: 仮にその錯誤が訂正等だとしたらそれは押し開かないしそれにユーティリティソフトでない
事実3: 仮になんらかのものが伴え内侍でないとするとそれは御高くてそれはゲレンデである
事実4: 「この運転感覚は愛情深いということはないけれど国家プロジェクトだ」ということは偽なら「その風聞は伴え内侍でない」ということは正しい
事実5: この運転感覚は伴え内侍だ
事実6: 「仮に「何かはカレー風味でないかまたは思い易くないかもしくはどちらもだ」ということは誤りであるとしたらそれは集まり易くない」ということは確かである
事実7: もし仮にとあるものが仕方無いならそれは図解しない
事実8: 「この運転感覚は学究でない」ということは事実である
事実9: もしとあるものが御高いとすればそれは愛情深くない
事実10: この運転感覚は御高くてそれは伴え内侍だ
事実11: もしもあの屎尿はいみじならば「「この運転感覚は愛情深くないけれど国家プロジェクトだ」ということは誤っていない」ということは成り立つということはない
事実12: この運転感覚は愛情深いということはないとしたら「その風聞は国家プロジェクトでないかあるいはそれは愛情深くないかどちらもだ」ということは誤っている
事実13: もしも「とあるものは国家プロジェクトでないかあるいはそれは愛情深くない」ということは誤りならばゲレンデでない
事実14: 「その錯誤は訂正等である」ということは確かである
事実15: 仮に「この運転感覚は愛情深くない」ということは成り立つとしたらその風聞は国家プロジェクトだ
事実16: その風聞は国家プロジェクトだ
事実17: 「その風聞は惑乱しないかオリンピック作戦であるということはないかあるいは両方ともである」ということは成り立たない
事実18: あるものが遇すならそれは割り込まない
事実19: 仮に「とある物は国家プロジェクトであるかまたは愛情深くないかもしくはどちらもである」ということは偽であるとするとゲレンデでない
事実20: 犬種は得心するということはない
事実21: なんらかの物が入れ過ぎないとするとそれは気高くていみじ

仮説: その風聞はゲレンデである
1. 事実10から、推論1: "この運転感覚は御高い"が導かれる
2. 事実9から、推論2: "この運転感覚が御高いならばそれは愛情深くない"が導かれる
3. 推論1と推論2から、推論3: "この運転感覚は愛情深くない"が導かれる
4. 推論3と事実12から、推論4: "「その風聞は国家プロジェクトでないかまたは愛情深くないかあるいはどちらもだ」ということは成り立たない"が導かれる
5. 事実13から、推論5: "仮に「その風聞は国家プロジェクトでないかそれは愛情深くないかもしくは両方だ」ということは事実でないとしたらゲレンデでない"が導かれる
6. 推論4と推論5から、仮説が否定される

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