「あの山羊座は垢抜けする」ということは確かだ
fact1: あのビンテージワインは誓約する fact2: もしあのビンテージワインが知恵すれば居宅介護住宅改修費だ fact3: 仮にとある物が知恵しないならば擬制するししかも書き替える fact4: もしもあのビンテージワインが居宅介護住宅改修費であるしまた書き替えるとしたらあの山羊座は垢抜けしない fact5: あの北山ダムは知恵する fact6: もしもあのビンテージワインが書き替えるとすればそれは糾う fact7: 仮になんらかの物が知恵しないか垢抜けするかあるいはどちらもだとすると知恵しない fact8: あのビンテージワインは書き替える fact9: もしもあのビンテージワインが居宅介護住宅改修費でないし垢抜けしないならばあの山羊座は垢抜けする fact10: この実施機関は書き替える fact11: あのビンテージワインは知恵する
fact2 & fact11 -> int1: あのビンテージワインは居宅介護住宅改修費である; int1 & fact8 -> int2: あのビンテージワインが居宅介護住宅改修費だしその上それは書き替える; int2 & fact4 -> hypothesis;
あの山羊座は垢抜けする
$facts$ = fact1: あのビンテージワインは誓約する fact2: もしあのビンテージワインが知恵すれば居宅介護住宅改修費だ fact3: 仮にとある物が知恵しないならば擬制するししかも書き替える fact4: もしもあのビンテージワインが居宅介護住宅改修費であるしまた書き替えるとしたらあの山羊座は垢抜けしない fact5: あの北山ダムは知恵する fact6: もしもあのビンテージワインが書き替えるとすればそれは糾う fact7: 仮になんらかの物が知恵しないか垢抜けするかあるいはどちらもだとすると知恵しない fact8: あのビンテージワインは書き替える fact9: もしもあのビンテージワインが居宅介護住宅改修費でないし垢抜けしないならばあの山羊座は垢抜けする fact10: この実施機関は書き替える fact11: あのビンテージワインは知恵する ; $hypothesis$ = 「あの山羊座は垢抜けする」ということは確かだ ; $proof$ = 
fact2 & fact11 -> int1: あのビンテージワインは居宅介護住宅改修費である; int1 & fact8 -> int2: あのビンテージワインが居宅介護住宅改修費だしその上それは書き替える; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あのビンテージワインは誓約する
事実2: もしあのビンテージワインが知恵すれば居宅介護住宅改修費だ
事実3: 仮にとある物が知恵しないならば擬制するししかも書き替える
事実4: もしもあのビンテージワインが居宅介護住宅改修費であるしまた書き替えるとしたらあの山羊座は垢抜けしない
事実5: あの北山ダムは知恵する
事実6: もしもあのビンテージワインが書き替えるとすればそれは糾う
事実7: 仮になんらかの物が知恵しないか垢抜けするかあるいはどちらもだとすると知恵しない
事実8: あのビンテージワインは書き替える
事実9: もしもあのビンテージワインが居宅介護住宅改修費でないし垢抜けしないならばあの山羊座は垢抜けする
事実10: この実施機関は書き替える
事実11: あのビンテージワインは知恵する

仮説: 「あの山羊座は垢抜けする」ということは確かだ
1. 事実2と事実11から、推論1: "あのビンテージワインは居宅介護住宅改修費である"が導かれる
2. 推論1と事実8から、推論2: "あのビンテージワインが居宅介護住宅改修費だしその上それは書き替える"が導かれる
3. 推論2と事実4から、仮説が否定される

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