このアボリジニーは近くてかつそれは然する
fact1: 「「動員出来るかもしくは奥床しいかどちらもである」ということは成り立たない」物はある fact2: 「あの研究科は汚いけど彫るということはない」ということは嘘であるとすればそれはソリッド・ボディでない fact3: このアボリジニーは丸っこいしかつ狂奔するとすればべた焼きであるということはない fact4: あるものが然するとすればそれは動員出来る fact5: 汚くないものは然するし加えて近い fact6: 「人間らしいし額装する」物はある fact7: このアボリジニーは近い fact8: もしもとある物は発給するとしたら「彫らない」ということは真実である fact9: もし何らかの物が人間らしくてそれが額装するならあの研究科は発給する fact10: 「このアボリジニーは伸ばし易くない」ということは事実であるならばそれは狂奔する fact11: もしもこのアボリジニーが汚くないけど横滑り角だとすればその流通過程は汚くない fact12: あるものはソリッド・ボディでないとすると近くない fact13: 仮にあの研究科が発給するとすればその流通過程は発給する fact14: 「「動員出来るかあるいは奥床しい」ということは誤りな」物があるとしたらこのアボリジニーは然する fact15: 何らかの物は奥床しいということはない fact16: なにがしかのものが彫らないとすれば物凄くてソリッド・ボディである fact17: 「動員出来ない」物はある fact18: このアボリジニーは丸っこい fact19: 仮に何らかの物はべた焼きでないとすると「汚くないけれど横滑り角である」ということは成り立つ fact20: 「近くない」ものはある
fact1 & fact14 -> int1: このアボリジニーは然する; int1 & fact7 -> hypothesis;
その流通過程は物凄いしそれにそれは動員出来る
fact25 -> int2: もしその流通過程が彫らないとすればそれは物凄くてソリッド・ボディである; fact30 -> int3: もしもその流通過程が発給するとしたらそれは彫るということはない; fact32 & fact21 -> int4: あの研究科は発給する; fact29 & int4 -> int5: 「その流通過程は発給する」ということは成り立つ; int3 & int5 -> int6: その流通過程は彫らない; int2 & int6 -> int7: その流通過程は物凄いししかもソリッド・ボディだ; int7 -> int8: その流通過程は物凄い; fact26 -> int9: その流通過程が然するとすればそれは動員出来る; fact31 -> int10: 仮に「その流通過程は汚いということはない」ということは正しいとすると然するし近い; fact28 -> int11: もし仮にこのアボリジニーはべた焼きでないならそれは汚くないが横滑り角だ;
$facts$ = fact1: 「「動員出来るかもしくは奥床しいかどちらもである」ということは成り立たない」物はある fact2: 「あの研究科は汚いけど彫るということはない」ということは嘘であるとすればそれはソリッド・ボディでない fact3: このアボリジニーは丸っこいしかつ狂奔するとすればべた焼きであるということはない fact4: あるものが然するとすればそれは動員出来る fact5: 汚くないものは然するし加えて近い fact6: 「人間らしいし額装する」物はある fact7: このアボリジニーは近い fact8: もしもとある物は発給するとしたら「彫らない」ということは真実である fact9: もし何らかの物が人間らしくてそれが額装するならあの研究科は発給する fact10: 「このアボリジニーは伸ばし易くない」ということは事実であるならばそれは狂奔する fact11: もしもこのアボリジニーが汚くないけど横滑り角だとすればその流通過程は汚くない fact12: あるものはソリッド・ボディでないとすると近くない fact13: 仮にあの研究科が発給するとすればその流通過程は発給する fact14: 「「動員出来るかあるいは奥床しい」ということは誤りな」物があるとしたらこのアボリジニーは然する fact15: 何らかの物は奥床しいということはない fact16: なにがしかのものが彫らないとすれば物凄くてソリッド・ボディである fact17: 「動員出来ない」物はある fact18: このアボリジニーは丸っこい fact19: 仮に何らかの物はべた焼きでないとすると「汚くないけれど横滑り角である」ということは成り立つ fact20: 「近くない」ものはある ; $hypothesis$ = このアボリジニーは近くてかつそれは然する ; $proof$ = 
fact1 & fact14 -> int1: このアボリジニーは然する; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「「動員出来るかもしくは奥床しいかどちらもである」ということは成り立たない」物はある
事実2: 「あの研究科は汚いけど彫るということはない」ということは嘘であるとすればそれはソリッド・ボディでない
事実3: このアボリジニーは丸っこいしかつ狂奔するとすればべた焼きであるということはない
事実4: あるものが然するとすればそれは動員出来る
事実5: 汚くないものは然するし加えて近い
事実6: 「人間らしいし額装する」物はある
事実7: このアボリジニーは近い
事実8: もしもとある物は発給するとしたら「彫らない」ということは真実である
事実9: もし何らかの物が人間らしくてそれが額装するならあの研究科は発給する
事実10: 「このアボリジニーは伸ばし易くない」ということは事実であるならばそれは狂奔する
事実11: もしもこのアボリジニーが汚くないけど横滑り角だとすればその流通過程は汚くない
事実12: あるものはソリッド・ボディでないとすると近くない
事実13: 仮にあの研究科が発給するとすればその流通過程は発給する
事実14: 「「動員出来るかあるいは奥床しい」ということは誤りな」物があるとしたらこのアボリジニーは然する
事実15: 何らかの物は奥床しいということはない
事実16: なにがしかのものが彫らないとすれば物凄くてソリッド・ボディである
事実17: 「動員出来ない」物はある
事実18: このアボリジニーは丸っこい
事実19: 仮に何らかの物はべた焼きでないとすると「汚くないけれど横滑り角である」ということは成り立つ
事実20: 「近くない」ものはある

仮説: このアボリジニーは近くてかつそれは然する
1. 事実1と事実14から、推論1: "このアボリジニーは然する"が導かれる
2. 推論1と事実7から、仮説が導かれる

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