この高所恐怖症は演奏出来ない
fact1: 壊れ難い物は業務執行だ fact2: もしとある物がゴルフ場建設であるということはないかまたはそれが年寄り衆でないかもしくはどちらもだとするとあの本命馬は手厳しい fact3: 手厳しいものは参陣するということはない fact4: あのアーティキュレイションは業務執行だ fact5: 「あの兄貴は主張立証するけどそれは捨て切れない」ということは真実でない fact6: もし仮にその蒸気浴が業務執行であるとしたらこの高所恐怖症は演奏出来る fact7: あのヒューマンファクタは業務執行だ fact8: 「あの兄貴は主張立証するけれど捨て切れない」ということは嘘だとすれば年寄り衆でない fact9: 「仮に何かは業務執行ならば演奏出来る」ということは事実である fact10: 仮に「参陣しない」物はあるなら「その蒸気浴は壊れ難いがそれは業務執行でない」ということは事実と異なる fact11: その蒸気浴は業務執行である fact12: この高所恐怖症はねちっこい fact13: この高所恐怖症は鬼畜だ
fact6 & fact11 -> hypothesis;
fact6 & fact11 -> hypothesis;
この二十二日生まれは演奏出来る
fact14 -> int1: もしもこの二十二日生まれが業務執行だとしたら演奏出来る; fact15 -> int2: この二十二日生まれが壊れ難いとするとそれは業務執行だ;
$facts$ = fact1: 壊れ難い物は業務執行だ fact2: もしとある物がゴルフ場建設であるということはないかまたはそれが年寄り衆でないかもしくはどちらもだとするとあの本命馬は手厳しい fact3: 手厳しいものは参陣するということはない fact4: あのアーティキュレイションは業務執行だ fact5: 「あの兄貴は主張立証するけどそれは捨て切れない」ということは真実でない fact6: もし仮にその蒸気浴が業務執行であるとしたらこの高所恐怖症は演奏出来る fact7: あのヒューマンファクタは業務執行だ fact8: 「あの兄貴は主張立証するけれど捨て切れない」ということは嘘だとすれば年寄り衆でない fact9: 「仮に何かは業務執行ならば演奏出来る」ということは事実である fact10: 仮に「参陣しない」物はあるなら「その蒸気浴は壊れ難いがそれは業務執行でない」ということは事実と異なる fact11: その蒸気浴は業務執行である fact12: この高所恐怖症はねちっこい fact13: この高所恐怖症は鬼畜だ ; $hypothesis$ = この高所恐怖症は演奏出来ない ; $proof$ = 
fact6 & fact11 -> hypothesis; __DISPROVED__
事実1: 壊れ難い物は業務執行だ
事実2: もしとある物がゴルフ場建設であるということはないかまたはそれが年寄り衆でないかもしくはどちらもだとするとあの本命馬は手厳しい
事実3: 手厳しいものは参陣するということはない
事実4: あのアーティキュレイションは業務執行だ
事実5: 「あの兄貴は主張立証するけどそれは捨て切れない」ということは真実でない
事実6: もし仮にその蒸気浴が業務執行であるとしたらこの高所恐怖症は演奏出来る
事実7: あのヒューマンファクタは業務執行だ
事実8: 「あの兄貴は主張立証するけれど捨て切れない」ということは嘘だとすれば年寄り衆でない
事実9: 「仮に何かは業務執行ならば演奏出来る」ということは事実である
事実10: 仮に「参陣しない」物はあるなら「その蒸気浴は壊れ難いがそれは業務執行でない」ということは事実と異なる
事実11: その蒸気浴は業務執行である
事実12: この高所恐怖症はねちっこい
事実13: この高所恐怖症は鬼畜だ

仮説: この高所恐怖症は演奏出来ない
1. 事実6と事実11から、仮説が否定される

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