その肝臓はたわいないということはない
fact1: その肝臓は大反対する fact2: 何らかのものが眠たいならばそれはたわいない fact3: もしその食料事情が盆栽であるしそれが運び上げればその肝臓はたわいなくない fact4: もし仮に「その食料事情は眠たくてそれはたわいない」ということは本当であるならその肝臓は盆栽でない fact5: あの不健康は運び上げる fact6: その食料事情は独占体であるしかつ硫酸イオンだ fact7: その食料事情は眠たいし運び上げる fact8: その食料事情は進行し始めるし更にそれは徹底する fact9: この職業文化はたわいなくない fact10: もし仮に「その食料事情は硬化しない」ということは間違っていないならば眠たいけど運び上げない fact11: 「その食料事情はたわいない」ということは真実である fact12: その食料事情は眠たい fact13: もしその肝臓がたわいないし運び上げればその食料事情は眠たくない fact14: 仮にあの高層マンションが反映され易くないならばあの食料事情は硬化しない fact15: その食料事情はたわいなくてそれにそれは眠たい fact16: 「もしも「その肝臓は運び上げるししかも眠たい」ということは真実であるならばその食料事情はたわいなくない」ということは事実だ fact17: その食料事情は眠たいししかもたわいない fact18: この屑奴は運び上げる fact19: もしその肝臓が盆栽で更にそれはたわいないとしたら「その食料事情は眠たくない」ということは成り立つ fact20: 「もしその食料事情が眠たいし運び上げるとするとその肝臓は盆栽でない」ということは真実である fact21: その食料事情は盆栽だ
fact7 -> int1: 「その食料事情は運び上げる」ということは事実である; int1 & fact21 -> int2: その食料事情は盆栽でかつ運び上げる; int2 & fact3 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact21 -> int2: ({C}{a} & {B}{a}); int2 & fact3 -> hypothesis;
その肝臓はたわいない
fact24 -> int3: もしその肝臓は眠たいとしたら「たわいない」ということは成り立つ;
$facts$ = fact1: その肝臓は大反対する fact2: 何らかのものが眠たいならばそれはたわいない fact3: もしその食料事情が盆栽であるしそれが運び上げればその肝臓はたわいなくない fact4: もし仮に「その食料事情は眠たくてそれはたわいない」ということは本当であるならその肝臓は盆栽でない fact5: あの不健康は運び上げる fact6: その食料事情は独占体であるしかつ硫酸イオンだ fact7: その食料事情は眠たいし運び上げる fact8: その食料事情は進行し始めるし更にそれは徹底する fact9: この職業文化はたわいなくない fact10: もし仮に「その食料事情は硬化しない」ということは間違っていないならば眠たいけど運び上げない fact11: 「その食料事情はたわいない」ということは真実である fact12: その食料事情は眠たい fact13: もしその肝臓がたわいないし運び上げればその食料事情は眠たくない fact14: 仮にあの高層マンションが反映され易くないならばあの食料事情は硬化しない fact15: その食料事情はたわいなくてそれにそれは眠たい fact16: 「もしも「その肝臓は運び上げるししかも眠たい」ということは真実であるならばその食料事情はたわいなくない」ということは事実だ fact17: その食料事情は眠たいししかもたわいない fact18: この屑奴は運び上げる fact19: もしその肝臓が盆栽で更にそれはたわいないとしたら「その食料事情は眠たくない」ということは成り立つ fact20: 「もしその食料事情が眠たいし運び上げるとするとその肝臓は盆栽でない」ということは真実である fact21: その食料事情は盆栽だ ; $hypothesis$ = その肝臓はたわいないということはない ; $proof$ = 
fact7 -> int1: 「その食料事情は運び上げる」ということは事実である; int1 & fact21 -> int2: その食料事情は盆栽でかつ運び上げる; int2 & fact3 -> hypothesis; __PROVED__
事実1: その肝臓は大反対する
事実2: 何らかのものが眠たいならばそれはたわいない
事実3: もしその食料事情が盆栽であるしそれが運び上げればその肝臓はたわいなくない
事実4: もし仮に「その食料事情は眠たくてそれはたわいない」ということは本当であるならその肝臓は盆栽でない
事実5: あの不健康は運び上げる
事実6: その食料事情は独占体であるしかつ硫酸イオンだ
事実7: その食料事情は眠たいし運び上げる
事実8: その食料事情は進行し始めるし更にそれは徹底する
事実9: この職業文化はたわいなくない
事実10: もし仮に「その食料事情は硬化しない」ということは間違っていないならば眠たいけど運び上げない
事実11: 「その食料事情はたわいない」ということは真実である
事実12: その食料事情は眠たい
事実13: もしその肝臓がたわいないし運び上げればその食料事情は眠たくない
事実14: 仮にあの高層マンションが反映され易くないならばあの食料事情は硬化しない
事実15: その食料事情はたわいなくてそれにそれは眠たい
事実16: 「もしも「その肝臓は運び上げるししかも眠たい」ということは真実であるならばその食料事情はたわいなくない」ということは事実だ
事実17: その食料事情は眠たいししかもたわいない
事実18: この屑奴は運び上げる
事実19: もしその肝臓が盆栽で更にそれはたわいないとしたら「その食料事情は眠たくない」ということは成り立つ
事実20: 「もしその食料事情が眠たいし運び上げるとするとその肝臓は盆栽でない」ということは真実である
事実21: その食料事情は盆栽だ

仮説: その肝臓はたわいないということはない
1. 事実7から、推論1: "「その食料事情は運び上げる」ということは事実である"が導かれる
2. 推論1と事実21から、推論2: "その食料事情は盆栽でかつ運び上げる"が導かれる
3. 推論2と事実3から、仮説が導かれる

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