その百二ページ参照は山牛蒡でない
fact1: その谷川岳が分割相続でないならその百二ページ参照は山牛蒡でない fact2: もしも「その谷川岳は感化しないししかも競馬新聞でない」ということは嘘ならばその百二ページ参照は武田方でない fact3: その谷川岳は分割相続でないかもしくは元型であるかあるいはどちらもである fact4: 何らかの物は歌劇団であるかあるいは締めっぽくないかあるいは両方ともだとすればそれは山牛蒡である fact5: その谷川岳は分割相続であるかあるいはそれは元型である fact6: もし仮にその谷川岳が分割相続であるということはないかあるいは元型であるかまたはどちらもであるならばあの百二ページ参照は山牛蒡でない fact7: もしとある物は学生達でないとすると「感化しないし競馬新聞でない」ということは成り立たない fact8: 何らかのものが武田方であるということはないとしたら歌劇団であるかあるいはそれは締めっぽくないかあるいはどちらもである
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
その百二ページ参照は山牛蒡だ
fact12 -> int1: その百二ページ参照が歌劇団であるか締めっぽくないかあるいは両方ともであるなら山牛蒡である; fact11 -> int2: 仮にその百二ページ参照が武田方でないとしたらそれは歌劇団であるかあるいは締めっぽくないか両方だ; fact9 -> int3: もし仮にその谷川岳は学生達であるということはないなら「感化しなくてかつ競馬新聞だということはない」ということは誤りである;
$facts$ = fact1: その谷川岳が分割相続でないならその百二ページ参照は山牛蒡でない fact2: もしも「その谷川岳は感化しないししかも競馬新聞でない」ということは嘘ならばその百二ページ参照は武田方でない fact3: その谷川岳は分割相続でないかもしくは元型であるかあるいはどちらもである fact4: 何らかの物は歌劇団であるかあるいは締めっぽくないかあるいは両方ともだとすればそれは山牛蒡である fact5: その谷川岳は分割相続であるかあるいはそれは元型である fact6: もし仮にその谷川岳が分割相続であるということはないかあるいは元型であるかまたはどちらもであるならばあの百二ページ参照は山牛蒡でない fact7: もしとある物は学生達でないとすると「感化しないし競馬新聞でない」ということは成り立たない fact8: 何らかのものが武田方であるということはないとしたら歌劇団であるかあるいはそれは締めっぽくないかあるいはどちらもである ; $hypothesis$ = その百二ページ参照は山牛蒡でない ; $proof$ = 
fact6 & fact3 -> hypothesis; __PROVED__
事実1: その谷川岳が分割相続でないならその百二ページ参照は山牛蒡でない
事実2: もしも「その谷川岳は感化しないししかも競馬新聞でない」ということは嘘ならばその百二ページ参照は武田方でない
事実3: その谷川岳は分割相続でないかもしくは元型であるかあるいはどちらもである
事実4: 何らかの物は歌劇団であるかあるいは締めっぽくないかあるいは両方ともだとすればそれは山牛蒡である
事実5: その谷川岳は分割相続であるかあるいはそれは元型である
事実6: もし仮にその谷川岳が分割相続であるということはないかあるいは元型であるかまたはどちらもであるならばあの百二ページ参照は山牛蒡でない
事実7: もしとある物は学生達でないとすると「感化しないし競馬新聞でない」ということは成り立たない
事実8: 何らかのものが武田方であるということはないとしたら歌劇団であるかあるいはそれは締めっぽくないかあるいはどちらもである

仮説: その百二ページ参照は山牛蒡でない
1. 事実6と事実3から、仮説が導かれる

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