あの生体機能は草・草調儀でない
fact1: あの生体機能は断ち切る fact2: 仮に「なにがしかの物は断ち切るが食い破らない」ということは成り立たないとしたらそれは断ち切るということはない fact3: もしあの生体機能が断ち切るとするとあの貴顕は草・草調儀である fact4: 「あのＲＩＪは草・草調儀だ」ということは成り立つ fact5: あの貴顕は断ち切る fact6: あのＲ／Ｓは断ち切る fact7: その鉢栽培は断ち切る fact8: あの貴顕は確立する fact9: あの生体機能は実習用である fact10: あの生体機能は荒立つ fact11: あの貴顕は草・草調儀だ fact12: 仮に「あの貴顕は断ち切る」ということは事実であるとするとあの生体機能は草・草調儀だ fact13: 「あの貴顕は草・草調儀だがしかし習練しない」ということは間違いであるなら「あの生体機能は草・草調儀でない」ということは嘘でない fact14: この貸し金債務は草・草調儀だ fact15: なんらかのものは断ち切らないなら「草・草調儀でおまけに習練するということはない」ということは確かであるということはない fact16: あの貴顕は馳駆する
fact12 & fact5 -> hypothesis;
fact12 & fact5 -> hypothesis;
あの生体機能は草・草調儀でない
fact19 -> int1: あの貴顕は断ち切らないなら「草・草調儀だ一方で習練するということはない」ということは成り立たない; fact18 -> int2: もし仮に「あの貴顕は断ち切るけれど食い破らない」ということは間違っているとすれば断ち切らない;
$facts$ = fact1: あの生体機能は断ち切る fact2: 仮に「なにがしかの物は断ち切るが食い破らない」ということは成り立たないとしたらそれは断ち切るということはない fact3: もしあの生体機能が断ち切るとするとあの貴顕は草・草調儀である fact4: 「あのＲＩＪは草・草調儀だ」ということは成り立つ fact5: あの貴顕は断ち切る fact6: あのＲ／Ｓは断ち切る fact7: その鉢栽培は断ち切る fact8: あの貴顕は確立する fact9: あの生体機能は実習用である fact10: あの生体機能は荒立つ fact11: あの貴顕は草・草調儀だ fact12: 仮に「あの貴顕は断ち切る」ということは事実であるとするとあの生体機能は草・草調儀だ fact13: 「あの貴顕は草・草調儀だがしかし習練しない」ということは間違いであるなら「あの生体機能は草・草調儀でない」ということは嘘でない fact14: この貸し金債務は草・草調儀だ fact15: なんらかのものは断ち切らないなら「草・草調儀でおまけに習練するということはない」ということは確かであるということはない fact16: あの貴顕は馳駆する ; $hypothesis$ = あの生体機能は草・草調儀でない ; $proof$ = 
fact12 & fact5 -> hypothesis; __DISPROVED__
事実1: あの生体機能は断ち切る
事実2: 仮に「なにがしかの物は断ち切るが食い破らない」ということは成り立たないとしたらそれは断ち切るということはない
事実3: もしあの生体機能が断ち切るとするとあの貴顕は草・草調儀である
事実4: 「あのＲＩＪは草・草調儀だ」ということは成り立つ
事実5: あの貴顕は断ち切る
事実6: あのＲ／Ｓは断ち切る
事実7: その鉢栽培は断ち切る
事実8: あの貴顕は確立する
事実9: あの生体機能は実習用である
事実10: あの生体機能は荒立つ
事実11: あの貴顕は草・草調儀だ
事実12: 仮に「あの貴顕は断ち切る」ということは事実であるとするとあの生体機能は草・草調儀だ
事実13: 「あの貴顕は草・草調儀だがしかし習練しない」ということは間違いであるなら「あの生体機能は草・草調儀でない」ということは嘘でない
事実14: この貸し金債務は草・草調儀だ
事実15: なんらかのものは断ち切らないなら「草・草調儀でおまけに習練するということはない」ということは確かであるということはない
事実16: あの貴顕は馳駆する

仮説: あの生体機能は草・草調儀でない
1. 事実12と事実5から、仮説が否定される

よって、仮説が否定されました。