「もしも「気高ししさらに味付けする」ということは事実と異なるとすれば回答しない」ものはある
fact1: 「「感知出来ない」ということは確かであるとするとどうして良くない」物はある fact2: 「もし仮に非合理性でないならば階段上昇でない」ものはある fact3: 「三区分するということはないとしたら彷彿するということはない」物はある fact4: もしも「あの二百三十四番館は気高しし味付けする」ということは誤りならそれは回答しない fact5: もし「何らかの物はブーケであるし出荷する」ということは事実でないとするとそれは組まない fact6: 「あの二百三十四番館が初々しいしその上味付けする」ということは真実でないとしたらそれは致す
fact4 -> hypothesis;
fact4 -> hypothesis;
「「ブーケであるし出荷する」ということは成り立たないならば組むということはない」ものはある
fact7 -> int1: 「あの前掲最判がブーケだしさらにそれは出荷する」ということは成り立たないならそれは組まない; int1 -> hypothesis;
$facts$ = fact1: 「「感知出来ない」ということは確かであるとするとどうして良くない」物はある fact2: 「もし仮に非合理性でないならば階段上昇でない」ものはある fact3: 「三区分するということはないとしたら彷彿するということはない」物はある fact4: もしも「あの二百三十四番館は気高しし味付けする」ということは誤りならそれは回答しない fact5: もし「何らかの物はブーケであるし出荷する」ということは事実でないとするとそれは組まない fact6: 「あの二百三十四番館が初々しいしその上味付けする」ということは真実でないとしたらそれは致す ; $hypothesis$ = 「もしも「気高ししさらに味付けする」ということは事実と異なるとすれば回答しない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「感知出来ない」ということは確かであるとするとどうして良くない」物はある
事実2: 「もし仮に非合理性でないならば階段上昇でない」ものはある
事実3: 「三区分するということはないとしたら彷彿するということはない」物はある
事実4: もしも「あの二百三十四番館は気高しし味付けする」ということは誤りならそれは回答しない
事実5: もし「何らかの物はブーケであるし出荷する」ということは事実でないとするとそれは組まない
事実6: 「あの二百三十四番館が初々しいしその上味付けする」ということは真実でないとしたらそれは致す

仮説: 「もしも「気高ししさらに味付けする」ということは事実と異なるとすれば回答しない」ものはある
1. 事実4から、仮説が導かれる

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