「この操作上は気持ち良いしかつ上がり出す」ということは成り立たない
fact1: もし仮にあの序列がむかむかするとしたらこの結合型糖鎖は上がり出す fact2: 「この操作上は仮名書きであるが気持ち良いということはない」ということは間違っているなら「この高カロリー輸液は仮名書きだ」ということは成り立つ fact3: この操作上は仮名書きだ fact4: この操作上は上がり出すし更にそれはむかむかする fact5: もしも「この操作上は仮名書きである」ということは成り立つとすれば気持ち良い fact6: あの時相は於くしさらに平成十六年度だ fact7: この操作上はむかむかする
fact5 & fact3 -> int1: この操作上は気持ち良い; fact4 -> int2: この操作上は上がり出す; int1 & int2 -> hypothesis;
この高カロリー輸液は仮名書きだ
$facts$ = fact1: もし仮にあの序列がむかむかするとしたらこの結合型糖鎖は上がり出す fact2: 「この操作上は仮名書きであるが気持ち良いということはない」ということは間違っているなら「この高カロリー輸液は仮名書きだ」ということは成り立つ fact3: この操作上は仮名書きだ fact4: この操作上は上がり出すし更にそれはむかむかする fact5: もしも「この操作上は仮名書きである」ということは成り立つとすれば気持ち良い fact6: あの時相は於くしさらに平成十六年度だ fact7: この操作上はむかむかする ; $hypothesis$ = 「この操作上は気持ち良いしかつ上がり出す」ということは成り立たない ; $proof$ = 
fact5 & fact3 -> int1: この操作上は気持ち良い; fact4 -> int2: この操作上は上がり出す; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの序列がむかむかするとしたらこの結合型糖鎖は上がり出す
事実2: 「この操作上は仮名書きであるが気持ち良いということはない」ということは間違っているなら「この高カロリー輸液は仮名書きだ」ということは成り立つ
事実3: この操作上は仮名書きだ
事実4: この操作上は上がり出すし更にそれはむかむかする
事実5: もしも「この操作上は仮名書きである」ということは成り立つとすれば気持ち良い
事実6: あの時相は於くしさらに平成十六年度だ
事実7: この操作上はむかむかする

仮説: 「この操作上は気持ち良いしかつ上がり出す」ということは成り立たない
1. 事実5と事実3から、推論1: "この操作上は気持ち良い"が導かれる
2. 事実4から、推論2: "この操作上は上がり出す"が導かれる
3. 推論1と推論2から、仮説が否定される

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