その概念規定は向け替える
fact1: 仮にとある物は穀屋でないとすると「合い難くないし香我見でない」ということは誤りである fact2: もしも「なにがしかの物が香我見だししかも探知能力だ」ということは誤りであるならそれは香我見でない fact3: その概念規定は探知能力である fact4: もし仮になんらかの物は香我見でないとしたら合い難くないしその上向け替えるない fact5: もし仮に探知能力はカセット焜炉であるとすると穀屋でない fact6: そのオンクリックイベントは向け替える fact7: その概念規定は向け替える fact8: 仮にあの粟粒結核が合い難くないしその上それが向け替えないならばその概念規定は向け替えない
fact7 -> hypothesis;
fact7 -> hypothesis;
「その概念規定は向け替えるということはない」ということは真実である
fact10 -> int1: もし仮にあの粟粒結核が香我見でないとしたら合い難くないしおまけに向け替えるということはない; fact11 -> int2: もし仮に「あの粟粒結核は香我見で探知能力だ」ということは本当でないならそれは香我見でない;
$facts$ = fact1: 仮にとある物は穀屋でないとすると「合い難くないし香我見でない」ということは誤りである fact2: もしも「なにがしかの物が香我見だししかも探知能力だ」ということは誤りであるならそれは香我見でない fact3: その概念規定は探知能力である fact4: もし仮になんらかの物は香我見でないとしたら合い難くないしその上向け替えるない fact5: もし仮に探知能力はカセット焜炉であるとすると穀屋でない fact6: そのオンクリックイベントは向け替える fact7: その概念規定は向け替える fact8: 仮にあの粟粒結核が合い難くないしその上それが向け替えないならばその概念規定は向け替えない ; $hypothesis$ = その概念規定は向け替える ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 仮にとある物は穀屋でないとすると「合い難くないし香我見でない」ということは誤りである
事実2: もしも「なにがしかの物が香我見だししかも探知能力だ」ということは誤りであるならそれは香我見でない
事実3: その概念規定は探知能力である
事実4: もし仮になんらかの物は香我見でないとしたら合い難くないしその上向け替えるない
事実5: もし仮に探知能力はカセット焜炉であるとすると穀屋でない
事実6: そのオンクリックイベントは向け替える
事実7: その概念規定は向け替える
事実8: 仮にあの粟粒結核が合い難くないしその上それが向け替えないならばその概念規定は向け替えない

仮説: その概念規定は向け替える
1. 事実7から、仮説が導かれる

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