「あのどすは生温かいかあるいは列席するかもしくは両方ともだ」ということは誤っている
fact1: そのトムキャットがみっともないとしたらあのどすは生温かい fact2: このドライブゲームが危ないとするとそのトムキャットはみっともない fact3: そのトムキャットが危ないならこのドライブゲームはみっともない fact4: 仮にこのドライブゲームが零零Ｓであるとするとそのトムキャットはみっともない fact5: もし仮にこのドライブゲームがみっともないならばあのトムキャットは零零Ｓだ fact6: このドライブゲームは危ないかみっともないかあるいはどちらもである fact7: あのどすは危ないかあるいは列席するか両方である fact8: インナーは危ないがイタリア産でない fact9: もし仮にこのドライブゲームは零零Ｓでないとすると「あのどすは生温かいか列席する」ということは成り立たない fact10: もしも「何らかのものは生温かくないけどそれは危ない」ということは確かでないとしたら「危ないということはない」ということは真実である fact11: 「このドライブゲームは零零Ｓであるかあるいは危ないかもしくは両方ともである」ということは成り立つ fact12: このドライブゲームは抵抗するか異文化交流である fact13: もし危ないものはイタリア産でないとすれば「それはみっともなくない」ということは確かである fact14: 仮にその試掘が共同開発するとするとそのトムキャットはインナーだ一方で嫌らしくない fact15: もしその試掘が熱するとすると執行手続きであるということはないかまたは出し過ぎないか両方ともである fact16: そのトムキャットはみっともないかまたは生温かい fact17: このドライブゲームは生温かいか危ないかあるいはどちらもである fact18: もし仮にそのトムキャットは列席するなら「「あのどすはみっともなくない」ということは成り立つ」ということは事実と異なる fact19: 何らかの物が執行手続きでないかもしくは出し過ぎないかあるいは両方ともならそれは共同開発する fact20: もし仮に「その試掘は聳える」ということは本当だとしたら「それは熱する」ということは確かだ
fact11 & fact4 & fact2 -> int1: そのトムキャットはみっともない; int1 & fact1 -> int2: あのどすは生温かい; int2 -> hypothesis;
「あのどすは生温かいかまたは列席する」ということは成り立たない
fact27 -> int3: もしそのトムキャットは危ないがしかしイタリア産でないとすればみっともなくない; fact26 -> int4: もしもそのトムキャットがインナーだとするとそれは危ないけどイタリア産でない; fact22 -> int5: もしその試掘は執行手続きでないかまたはそれは出し過ぎないならばそれは共同開発する;
$facts$ = fact1: そのトムキャットがみっともないとしたらあのどすは生温かい fact2: このドライブゲームが危ないとするとそのトムキャットはみっともない fact3: そのトムキャットが危ないならこのドライブゲームはみっともない fact4: 仮にこのドライブゲームが零零Ｓであるとするとそのトムキャットはみっともない fact5: もし仮にこのドライブゲームがみっともないならばあのトムキャットは零零Ｓだ fact6: このドライブゲームは危ないかみっともないかあるいはどちらもである fact7: あのどすは危ないかあるいは列席するか両方である fact8: インナーは危ないがイタリア産でない fact9: もし仮にこのドライブゲームは零零Ｓでないとすると「あのどすは生温かいか列席する」ということは成り立たない fact10: もしも「何らかのものは生温かくないけどそれは危ない」ということは確かでないとしたら「危ないということはない」ということは真実である fact11: 「このドライブゲームは零零Ｓであるかあるいは危ないかもしくは両方ともである」ということは成り立つ fact12: このドライブゲームは抵抗するか異文化交流である fact13: もし危ないものはイタリア産でないとすれば「それはみっともなくない」ということは確かである fact14: 仮にその試掘が共同開発するとするとそのトムキャットはインナーだ一方で嫌らしくない fact15: もしその試掘が熱するとすると執行手続きであるということはないかまたは出し過ぎないか両方ともである fact16: そのトムキャットはみっともないかまたは生温かい fact17: このドライブゲームは生温かいか危ないかあるいはどちらもである fact18: もし仮にそのトムキャットは列席するなら「「あのどすはみっともなくない」ということは成り立つ」ということは事実と異なる fact19: 何らかの物が執行手続きでないかもしくは出し過ぎないかあるいは両方ともならそれは共同開発する fact20: もし仮に「その試掘は聳える」ということは本当だとしたら「それは熱する」ということは確かだ ; $hypothesis$ = 「あのどすは生温かいかあるいは列席するかもしくは両方ともだ」ということは誤っている ; $proof$ = 
fact11 & fact4 & fact2 -> int1: そのトムキャットはみっともない; int1 & fact1 -> int2: あのどすは生温かい; int2 -> hypothesis; __DISPROVED__
事実1: そのトムキャットがみっともないとしたらあのどすは生温かい
事実2: このドライブゲームが危ないとするとそのトムキャットはみっともない
事実3: そのトムキャットが危ないならこのドライブゲームはみっともない
事実4: 仮にこのドライブゲームが零零Ｓであるとするとそのトムキャットはみっともない
事実5: もし仮にこのドライブゲームがみっともないならばあのトムキャットは零零Ｓだ
事実6: このドライブゲームは危ないかみっともないかあるいはどちらもである
事実7: あのどすは危ないかあるいは列席するか両方である
事実8: インナーは危ないがイタリア産でない
事実9: もし仮にこのドライブゲームは零零Ｓでないとすると「あのどすは生温かいか列席する」ということは成り立たない
事実10: もしも「何らかのものは生温かくないけどそれは危ない」ということは確かでないとしたら「危ないということはない」ということは真実である
事実11: 「このドライブゲームは零零Ｓであるかあるいは危ないかもしくは両方ともである」ということは成り立つ
事実12: このドライブゲームは抵抗するか異文化交流である
事実13: もし危ないものはイタリア産でないとすれば「それはみっともなくない」ということは確かである
事実14: 仮にその試掘が共同開発するとするとそのトムキャットはインナーだ一方で嫌らしくない
事実15: もしその試掘が熱するとすると執行手続きであるということはないかまたは出し過ぎないか両方ともである
事実16: そのトムキャットはみっともないかまたは生温かい
事実17: このドライブゲームは生温かいか危ないかあるいはどちらもである
事実18: もし仮にそのトムキャットは列席するなら「「あのどすはみっともなくない」ということは成り立つ」ということは事実と異なる
事実19: 何らかの物が執行手続きでないかもしくは出し過ぎないかあるいは両方ともならそれは共同開発する
事実20: もし仮に「その試掘は聳える」ということは本当だとしたら「それは熱する」ということは確かだ

仮説: 「あのどすは生温かいかあるいは列席するかもしくは両方ともだ」ということは誤っている
1. 事実11と事実4と事実2から、推論1: "そのトムキャットはみっともない"が導かれる
2. 推論1と事実1から、推論2: "あのどすは生温かい"が導かれる
3. 推論2から、仮説が否定される

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