その鉢栽培は通れる
fact1: 仮に「あの親夫婦は黒っぽいが扱き立てない」ということは事実だということはないならばこの実践面は黒っぽくない fact2: もし「その鉢栽培は食い込む一方で寄る辺無くない」ということは成り立たないならば扱き立てない fact3: もしもその鉢栽培は黒っぽいなら「あの会津藩兵は黒っぽいということはない」ということは成り立たない fact4: 仮にとある物は事以外だ一方で兼業しないなら進み寄らない fact5: その鉢栽培は通れる fact6: 仮にあるものは事以外でないならば兼業するということはない fact7: もしもなにがしかのものが描き上げないならばそれは黒っぽいかまたは強調し過ぎる fact8: 「その鉢栽培は食い込むけどそれは寄る辺無くない」ということは成り立たない fact9: もし何らかのものが進み寄らないならばそれは通れるししかも断定し難い fact10: もしもなんらかのものが扱き立てないとしたら描き上げない fact11: なにがしかのものは描き上げるとすれば「黒っぽいけど扱き立てない」ということは正しいということはない fact12: あの親夫婦は食い込む fact13: 仮にあるものは黒っぽくないとしたら「このムービーファイルは黒っぽいし強調し過ぎる」ということは本当だということはない fact14: 「このムービーファイルは黒っぽくておまけにそれは強調し過ぎる」ということは成り立たないとすると事以外でない fact15: その撮影所は通れる fact16: 黒っぽいものは事以外だ一方で兼業しない fact17: あの親夫婦が食い込めば描き上げる
fact5 -> hypothesis;
fact5 -> hypothesis;
その鉢栽培は通れない
fact23 -> int1: 仮にこのムービーファイルは事以外でないならばそれは兼業しない; fact19 -> int2: もしもあの親夫婦は描き上げれば「黒っぽいがしかし扱き立てない」ということは事実と異なる; fact18 & fact22 -> int3: あの親夫婦は描き上げる; int2 & int3 -> int4: 「あの親夫婦は黒っぽい一方で扱き立てない」ということは成り立たない; fact21 & int4 -> int5: 「この実践面は黒っぽくない」ということは事実だ; int5 -> int6: 「黒っぽくない」物はある; int6 & fact24 -> int7: 「このムービーファイルは黒っぽくておまけに強調し過ぎる」ということは偽だ; fact20 & int7 -> int8: このムービーファイルは事以外でない; int1 & int8 -> int9: このムービーファイルは兼業するということはない; int9 -> int10: 「兼業しない」ものはある;
$facts$ = fact1: 仮に「あの親夫婦は黒っぽいが扱き立てない」ということは事実だということはないならばこの実践面は黒っぽくない fact2: もし「その鉢栽培は食い込む一方で寄る辺無くない」ということは成り立たないならば扱き立てない fact3: もしもその鉢栽培は黒っぽいなら「あの会津藩兵は黒っぽいということはない」ということは成り立たない fact4: 仮にとある物は事以外だ一方で兼業しないなら進み寄らない fact5: その鉢栽培は通れる fact6: 仮にあるものは事以外でないならば兼業するということはない fact7: もしもなにがしかのものが描き上げないならばそれは黒っぽいかまたは強調し過ぎる fact8: 「その鉢栽培は食い込むけどそれは寄る辺無くない」ということは成り立たない fact9: もし何らかのものが進み寄らないならばそれは通れるししかも断定し難い fact10: もしもなんらかのものが扱き立てないとしたら描き上げない fact11: なにがしかのものは描き上げるとすれば「黒っぽいけど扱き立てない」ということは正しいということはない fact12: あの親夫婦は食い込む fact13: 仮にあるものは黒っぽくないとしたら「このムービーファイルは黒っぽいし強調し過ぎる」ということは本当だということはない fact14: 「このムービーファイルは黒っぽくておまけにそれは強調し過ぎる」ということは成り立たないとすると事以外でない fact15: その撮影所は通れる fact16: 黒っぽいものは事以外だ一方で兼業しない fact17: あの親夫婦が食い込めば描き上げる ; $hypothesis$ = その鉢栽培は通れる ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 仮に「あの親夫婦は黒っぽいが扱き立てない」ということは事実だということはないならばこの実践面は黒っぽくない
事実2: もし「その鉢栽培は食い込む一方で寄る辺無くない」ということは成り立たないならば扱き立てない
事実3: もしもその鉢栽培は黒っぽいなら「あの会津藩兵は黒っぽいということはない」ということは成り立たない
事実4: 仮にとある物は事以外だ一方で兼業しないなら進み寄らない
事実5: その鉢栽培は通れる
事実6: 仮にあるものは事以外でないならば兼業するということはない
事実7: もしもなにがしかのものが描き上げないならばそれは黒っぽいかまたは強調し過ぎる
事実8: 「その鉢栽培は食い込むけどそれは寄る辺無くない」ということは成り立たない
事実9: もし何らかのものが進み寄らないならばそれは通れるししかも断定し難い
事実10: もしもなんらかのものが扱き立てないとしたら描き上げない
事実11: なにがしかのものは描き上げるとすれば「黒っぽいけど扱き立てない」ということは正しいということはない
事実12: あの親夫婦は食い込む
事実13: 仮にあるものは黒っぽくないとしたら「このムービーファイルは黒っぽいし強調し過ぎる」ということは本当だということはない
事実14: 「このムービーファイルは黒っぽくておまけにそれは強調し過ぎる」ということは成り立たないとすると事以外でない
事実15: その撮影所は通れる
事実16: 黒っぽいものは事以外だ一方で兼業しない
事実17: あの親夫婦が食い込めば描き上げる

仮説: その鉢栽培は通れる
1. 事実5から、仮説が導かれる

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