仮にその居城はシュートするかあるいは民主共和国政府でないとすればモリソン号でない
fact1: もし仮にとあるものが民主共和国政府であるかあるいはダブルクリックしないならそれは取り崩さない fact2: もしあの川音は甘いかあるいは御めでたくないなら容易いということはない fact3: もし仮にとあるものがシュートするかまたはそれは民主共和国政府でないかどちらもであるとすればそれはモリソン号でない fact4: もし仮にその居城が通り難いか保存出来るということはないかあるいはどちらもであるならばそれはモリソン号であるということはない fact5: もしもなにがしかのものが引っ立てるとすれば抉らない fact6: 何らかの物は招集すとすれば「広報室でない」ということは本当である fact7: もしなにがしかのものが暴走するとしたら火遊びでない fact8: もし仮にその居城がシュートするとすればモリソン号でない fact9: 早い物は結晶軸でない fact10: もし「その監護は播種するかもしくは民主共和国政府でない」ということは本当であるとするとそれは招集す
fact3 -> hypothesis;
fact3 -> hypothesis;
仮にあの咲き分け色が民主共和国政府であるかあるいはそれはダブルクリックしないかまたは両方ともであるならば取り崩さない
fact11 -> hypothesis;
$facts$ = fact1: もし仮にとあるものが民主共和国政府であるかあるいはダブルクリックしないならそれは取り崩さない fact2: もしあの川音は甘いかあるいは御めでたくないなら容易いということはない fact3: もし仮にとあるものがシュートするかまたはそれは民主共和国政府でないかどちらもであるとすればそれはモリソン号でない fact4: もし仮にその居城が通り難いか保存出来るということはないかあるいはどちらもであるならばそれはモリソン号であるということはない fact5: もしもなにがしかのものが引っ立てるとすれば抉らない fact6: 何らかの物は招集すとすれば「広報室でない」ということは本当である fact7: もしなにがしかのものが暴走するとしたら火遊びでない fact8: もし仮にその居城がシュートするとすればモリソン号でない fact9: 早い物は結晶軸でない fact10: もし「その監護は播種するかもしくは民主共和国政府でない」ということは本当であるとするとそれは招集す ; $hypothesis$ = 仮にその居城はシュートするかあるいは民主共和国政府でないとすればモリソン号でない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが民主共和国政府であるかあるいはダブルクリックしないならそれは取り崩さない
事実2: もしあの川音は甘いかあるいは御めでたくないなら容易いということはない
事実3: もし仮にとあるものがシュートするかまたはそれは民主共和国政府でないかどちらもであるとすればそれはモリソン号でない
事実4: もし仮にその居城が通り難いか保存出来るということはないかあるいはどちらもであるならばそれはモリソン号であるということはない
事実5: もしもなにがしかのものが引っ立てるとすれば抉らない
事実6: 何らかの物は招集すとすれば「広報室でない」ということは本当である
事実7: もしなにがしかのものが暴走するとしたら火遊びでない
事実8: もし仮にその居城がシュートするとすればモリソン号でない
事実9: 早い物は結晶軸でない
事実10: もし「その監護は播種するかもしくは民主共和国政府でない」ということは本当であるとするとそれは招集す

仮説: 仮にその居城はシュートするかあるいは民主共和国政府でないとすればモリソン号でない
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。