その古馬は猿田彦尊でない
fact1: 仮に「結託する」ものがあるとしたらその避難経路は青年部でなくて類推出来ない fact2: もしその避難経路が青年部でないが類推出来ればその古馬は猿田彦尊でない fact3: もしもその大台が三家でないとしたらそれは守るししかも類推出来る fact4: 「結託する」ものはある fact5: もし仮にその大台が守るし更にそれが類推出来るとすればその避難経路は類推出来ない fact6: もしも「結託する」ものがあるとすればあの避難経路は類推出来ない fact7: もしもその避難経路が青年部でないしその上それが類推出来ないとすればその古馬は猿田彦尊でない fact8: 「何かは青年部だ」ということは成り立つ fact9: その避難経路は類推出来ない
fact4 & fact1 -> int1: その避難経路は青年部でないししかも類推出来ない; int1 & fact7 -> hypothesis;
fact4 & fact1 -> int1: (¬{B}{a} & ¬{C}{a}); int1 & fact7 -> hypothesis;
その古馬は猿田彦尊だ
$facts$ = fact1: 仮に「結託する」ものがあるとしたらその避難経路は青年部でなくて類推出来ない fact2: もしその避難経路が青年部でないが類推出来ればその古馬は猿田彦尊でない fact3: もしもその大台が三家でないとしたらそれは守るししかも類推出来る fact4: 「結託する」ものはある fact5: もし仮にその大台が守るし更にそれが類推出来るとすればその避難経路は類推出来ない fact6: もしも「結託する」ものがあるとすればあの避難経路は類推出来ない fact7: もしもその避難経路が青年部でないしその上それが類推出来ないとすればその古馬は猿田彦尊でない fact8: 「何かは青年部だ」ということは成り立つ fact9: その避難経路は類推出来ない ; $hypothesis$ = その古馬は猿田彦尊でない ; $proof$ = 
fact4 & fact1 -> int1: その避難経路は青年部でないししかも類推出来ない; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「結託する」ものがあるとしたらその避難経路は青年部でなくて類推出来ない
事実2: もしその避難経路が青年部でないが類推出来ればその古馬は猿田彦尊でない
事実3: もしもその大台が三家でないとしたらそれは守るししかも類推出来る
事実4: 「結託する」ものはある
事実5: もし仮にその大台が守るし更にそれが類推出来るとすればその避難経路は類推出来ない
事実6: もしも「結託する」ものがあるとすればあの避難経路は類推出来ない
事実7: もしもその避難経路が青年部でないしその上それが類推出来ないとすればその古馬は猿田彦尊でない
事実8: 「何かは青年部だ」ということは成り立つ
事実9: その避難経路は類推出来ない

仮説: その古馬は猿田彦尊でない
1. 事実4と事実1から、推論1: "その避難経路は青年部でないししかも類推出来ない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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