その詠唱は円換算額である
fact1: その詠唱は弁天座であるししかもそれは円換算額だ fact2: もしもその詠唱は弁天座だとすれば「あの衆生等は弁天座である」ということは事実である fact3: なんらかの物は輪郭付ければ「弁天座でないし円換算額だということはない」ということは事実と異なる fact4: あの検索条件は惨いし円換算額だ
fact1 -> hypothesis;
fact1 -> hypothesis;
あの衆生等は弁天座である
fact5 -> int1: 仮にこの看護師長は輪郭付けるなら「それは弁天座だということはなくて更に円換算額であるということはない」ということは誤りだ;
$facts$ = fact1: その詠唱は弁天座であるししかもそれは円換算額だ fact2: もしもその詠唱は弁天座だとすれば「あの衆生等は弁天座である」ということは事実である fact3: なんらかの物は輪郭付ければ「弁天座でないし円換算額だということはない」ということは事実と異なる fact4: あの検索条件は惨いし円換算額だ ; $hypothesis$ = その詠唱は円換算額である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その詠唱は弁天座であるししかもそれは円換算額だ
事実2: もしもその詠唱は弁天座だとすれば「あの衆生等は弁天座である」ということは事実である
事実3: なんらかの物は輪郭付ければ「弁天座でないし円換算額だということはない」ということは事実と異なる
事実4: あの検索条件は惨いし円換算額だ

仮説: その詠唱は円換算額である
1. 事実1から、仮説が導かれる

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