あの肉桂は早合点しないが名残惜しい
fact1: 「あの肉桂は早合点するしそれは名残惜しい」ということは成り立つということはない fact2: あるものは早合点する fact3: 仮になにかは倒れ掛かるとしたら「あの肉桂は早合点するということはないがしかしそれは名残惜しい」ということは誤っている fact4: 「倒れ掛かる」ものはある fact5: 「「倒れ掛かる」ということは事実な」ものはあるなら「あの肉桂は早合点するしさらに名残惜しい」ということは正しくない fact6: もし何かは倒れ掛かるとすると名残惜しい
fact4 & fact3 -> hypothesis;
あの肉桂は早合点しないがしかし名残惜しい
fact7 -> int1: もしも「あの肉桂は倒れ掛かる」ということは事実なら名残惜しい;
$facts$ = fact1: 「あの肉桂は早合点するしそれは名残惜しい」ということは成り立つということはない fact2: あるものは早合点する fact3: 仮になにかは倒れ掛かるとしたら「あの肉桂は早合点するということはないがしかしそれは名残惜しい」ということは誤っている fact4: 「倒れ掛かる」ものはある fact5: 「「倒れ掛かる」ということは事実な」ものはあるなら「あの肉桂は早合点するしさらに名残惜しい」ということは正しくない fact6: もし何かは倒れ掛かるとすると名残惜しい ; $hypothesis$ = あの肉桂は早合点しないが名残惜しい ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの肉桂は早合点するしそれは名残惜しい」ということは成り立つということはない
事実2: あるものは早合点する
事実3: 仮になにかは倒れ掛かるとしたら「あの肉桂は早合点するということはないがしかしそれは名残惜しい」ということは誤っている
事実4: 「倒れ掛かる」ものはある
事実5: 「「倒れ掛かる」ということは事実な」ものはあるなら「あの肉桂は早合点するしさらに名残惜しい」ということは正しくない
事実6: もし何かは倒れ掛かるとすると名残惜しい

仮説: あの肉桂は早合点しないが名残惜しい
1. 事実4と事実3から、仮説が否定される

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