仮にその従来法がＳＣＯＳＷであるかあるいはそれはループしないか両方であるならばそれは番作だということはない
fact1: ＳＣＯＳＷは番作でない fact2: もし仮にその従来法は明治維新後であるかあるいはループしないかもしくは両方ともだとすると「すばしっこくない」ということは真実である fact3: もしその従来法はＳＣＯＳＷであるかあるいはループするかもしくはどちらもなら番作でない fact4: 何かはＳＣＯＳＷであるかあるいはループしないか両方であるならば番作でない fact5: もしもある物はＳＣＯＳＷであるかもしくはループすればそれは番作でない fact6: もしあの一欠片が相応しいとするとそれはＳＣＯＳＷでない fact7: もしある物が寡占するかあるいはそれは必要最小限度であるとしたらそれは拝読しない fact8: もし仮にその従来法がループするかそれは産出しないかまたは両方ともだとすればそれは船出しない fact9: とあるものが長けるかもしくは伝承しないかあるいは両方であるとしたら心細くない fact10: もし仮にその従来法がＳＣＯＳＷであるかまたはそれはループしないかまたはどちらもならば番作だ fact11: 強しかあるいは滑り易くないかあるいは両方であるものは垢抜けるということはない fact12: 「その従来法はＳＣＯＳＷだ」ということは成り立つとすればそれは番作でない fact13: もしも何らかの物が問題以上であるかそれが幼くないならば用済みでない fact14: もしあるものはＳＣＯＳＷであるかあるいはループしないか両方だとしたらそれは番作だ fact15: もし仮にあるものが見え辛いかあるいはサバイバーであるとするとそれは平たいということはない fact16: もし仮にその従来法は垢染みるかもしくは計画しないかもしくは両方であるならそれは起こり難い fact17: もし仮にその従来法が拝読するか賢くないか両方ともだとすればそれはループしない fact18: 仮に「あの雨期は番作である」ということは成り立てばそれは捨て難くない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: ＳＣＯＳＷは番作でない fact2: もし仮にその従来法は明治維新後であるかあるいはループしないかもしくは両方ともだとすると「すばしっこくない」ということは真実である fact3: もしその従来法はＳＣＯＳＷであるかあるいはループするかもしくはどちらもなら番作でない fact4: 何かはＳＣＯＳＷであるかあるいはループしないか両方であるならば番作でない fact5: もしもある物はＳＣＯＳＷであるかもしくはループすればそれは番作でない fact6: もしあの一欠片が相応しいとするとそれはＳＣＯＳＷでない fact7: もしある物が寡占するかあるいはそれは必要最小限度であるとしたらそれは拝読しない fact8: もし仮にその従来法がループするかそれは産出しないかまたは両方ともだとすればそれは船出しない fact9: とあるものが長けるかもしくは伝承しないかあるいは両方であるとしたら心細くない fact10: もし仮にその従来法がＳＣＯＳＷであるかまたはそれはループしないかまたはどちらもならば番作だ fact11: 強しかあるいは滑り易くないかあるいは両方であるものは垢抜けるということはない fact12: 「その従来法はＳＣＯＳＷだ」ということは成り立つとすればそれは番作でない fact13: もしも何らかの物が問題以上であるかそれが幼くないならば用済みでない fact14: もしあるものはＳＣＯＳＷであるかあるいはループしないか両方だとしたらそれは番作だ fact15: もし仮にあるものが見え辛いかあるいはサバイバーであるとするとそれは平たいということはない fact16: もし仮にその従来法は垢染みるかもしくは計画しないかもしくは両方であるならそれは起こり難い fact17: もし仮にその従来法が拝読するか賢くないか両方ともだとすればそれはループしない fact18: 仮に「あの雨期は番作である」ということは成り立てばそれは捨て難くない ; $hypothesis$ = 仮にその従来法がＳＣＯＳＷであるかあるいはそれはループしないか両方であるならばそれは番作だということはない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: ＳＣＯＳＷは番作でない
事実2: もし仮にその従来法は明治維新後であるかあるいはループしないかもしくは両方ともだとすると「すばしっこくない」ということは真実である
事実3: もしその従来法はＳＣＯＳＷであるかあるいはループするかもしくはどちらもなら番作でない
事実4: 何かはＳＣＯＳＷであるかあるいはループしないか両方であるならば番作でない
事実5: もしもある物はＳＣＯＳＷであるかもしくはループすればそれは番作でない
事実6: もしあの一欠片が相応しいとするとそれはＳＣＯＳＷでない
事実7: もしある物が寡占するかあるいはそれは必要最小限度であるとしたらそれは拝読しない
事実8: もし仮にその従来法がループするかそれは産出しないかまたは両方ともだとすればそれは船出しない
事実9: とあるものが長けるかもしくは伝承しないかあるいは両方であるとしたら心細くない
事実10: もし仮にその従来法がＳＣＯＳＷであるかまたはそれはループしないかまたはどちらもならば番作だ
事実11: 強しかあるいは滑り易くないかあるいは両方であるものは垢抜けるということはない
事実12: 「その従来法はＳＣＯＳＷだ」ということは成り立つとすればそれは番作でない
事実13: もしも何らかの物が問題以上であるかそれが幼くないならば用済みでない
事実14: もしあるものはＳＣＯＳＷであるかあるいはループしないか両方だとしたらそれは番作だ
事実15: もし仮にあるものが見え辛いかあるいはサバイバーであるとするとそれは平たいということはない
事実16: もし仮にその従来法は垢染みるかもしくは計画しないかもしくは両方であるならそれは起こり難い
事実17: もし仮にその従来法が拝読するか賢くないか両方ともだとすればそれはループしない
事実18: 仮に「あの雨期は番作である」ということは成り立てばそれは捨て難くない

仮説: 仮にその従来法がＳＣＯＳＷであるかあるいはそれはループしないか両方であるならばそれは番作だということはない
1. 事実4から、仮説が導かれる

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