この塵焼却場は後払い取り引きであるかあるいはユーティリティツールでないかもしくはどちらもだ
fact1: もしも何かは手入れしないがしかしアジリティであるとしたらそれは際限無い fact2: 仮にその衣擦れが惨殺するということはない一方で手入れすればこの契約書等は惨殺する fact3: その衣擦れは惨殺しない fact4: 「もしもこの契約書等が際限無いならばその衣擦れは捜査陣だ」ということは成り立つ fact5: この契約書等はユーティリティツールでない fact6: この塵焼却場は後払い取り引きであるかユーティリティツールである fact7: この塵焼却場は怪しい fact8: アジリティは怪しい fact9: この契約書等は惨殺するしそれに怪しい fact10: もしもその衣擦れが含水比調整でないならばこの塵焼却場は後払い取り引きであるかまたはユーティリティツールでないか両方である fact11: この契約書等は手入れするしアジリティだとしたらそれは際限無い fact12: もし仮にこの塵焼却場が捜査陣だとすればその衣擦れはユーティリティツールだ fact13: その衣擦れが怪しいならそれは惨殺しないけれど手入れする fact14: その衣擦れが捜査陣だとすればそれは含水比調整でない fact15: 仮にその衣擦れが含水比調整でないならこの塵焼却場は後払い取り引きであるかあるいはそれはユーティリティツールであるかまたは両方である fact16: もし仮になにかは手入れするしそれがアジリティならばそれは際限無い fact17: 怪しいものは手入れしない一方でアジリティだ fact18: この契約書等が怪しいならば手入れしない
fact9 -> int1: この契約書等は怪しい; fact17 -> int2: 仮にこの契約書等が怪しいとしたら手入れしなくてアジリティだ; int1 & int2 -> int3: この契約書等は手入れしないけどアジリティだ; fact1 -> int4: 仮にこの契約書等が手入れしない一方でアジリティだとすれば際限無い; int3 & int4 -> int5: この契約書等は際限無い; int5 & fact4 -> int6: その衣擦れは捜査陣だ; int6 & fact14 -> int7: その衣擦れは含水比調整でない; int7 & fact10 -> hypothesis;
「この塵焼却場は後払い取り引きであるかまたはユーティリティツールでないか両方ともだ」ということは誤っている
fact19 -> int8: もしもその衣擦れがアジリティだとすれば怪しい;
$facts$ = fact1: もしも何かは手入れしないがしかしアジリティであるとしたらそれは際限無い fact2: 仮にその衣擦れが惨殺するということはない一方で手入れすればこの契約書等は惨殺する fact3: その衣擦れは惨殺しない fact4: 「もしもこの契約書等が際限無いならばその衣擦れは捜査陣だ」ということは成り立つ fact5: この契約書等はユーティリティツールでない fact6: この塵焼却場は後払い取り引きであるかユーティリティツールである fact7: この塵焼却場は怪しい fact8: アジリティは怪しい fact9: この契約書等は惨殺するしそれに怪しい fact10: もしもその衣擦れが含水比調整でないならばこの塵焼却場は後払い取り引きであるかまたはユーティリティツールでないか両方である fact11: この契約書等は手入れするしアジリティだとしたらそれは際限無い fact12: もし仮にこの塵焼却場が捜査陣だとすればその衣擦れはユーティリティツールだ fact13: その衣擦れが怪しいならそれは惨殺しないけれど手入れする fact14: その衣擦れが捜査陣だとすればそれは含水比調整でない fact15: 仮にその衣擦れが含水比調整でないならこの塵焼却場は後払い取り引きであるかあるいはそれはユーティリティツールであるかまたは両方である fact16: もし仮になにかは手入れするしそれがアジリティならばそれは際限無い fact17: 怪しいものは手入れしない一方でアジリティだ fact18: この契約書等が怪しいならば手入れしない ; $hypothesis$ = この塵焼却場は後払い取り引きであるかあるいはユーティリティツールでないかもしくはどちらもだ ; $proof$ = 
fact9 -> int1: この契約書等は怪しい; fact17 -> int2: 仮にこの契約書等が怪しいとしたら手入れしなくてアジリティだ; int1 & int2 -> int3: この契約書等は手入れしないけどアジリティだ; fact1 -> int4: 仮にこの契約書等が手入れしない一方でアジリティだとすれば際限無い; int3 & int4 -> int5: この契約書等は際限無い; int5 & fact4 -> int6: その衣擦れは捜査陣だ; int6 & fact14 -> int7: その衣擦れは含水比調整でない; int7 & fact10 -> hypothesis; __PROVED__
事実1: もしも何かは手入れしないがしかしアジリティであるとしたらそれは際限無い
事実2: 仮にその衣擦れが惨殺するということはない一方で手入れすればこの契約書等は惨殺する
事実3: その衣擦れは惨殺しない
事実4: 「もしもこの契約書等が際限無いならばその衣擦れは捜査陣だ」ということは成り立つ
事実5: この契約書等はユーティリティツールでない
事実6: この塵焼却場は後払い取り引きであるかユーティリティツールである
事実7: この塵焼却場は怪しい
事実8: アジリティは怪しい
事実9: この契約書等は惨殺するしそれに怪しい
事実10: もしもその衣擦れが含水比調整でないならばこの塵焼却場は後払い取り引きであるかまたはユーティリティツールでないか両方である
事実11: この契約書等は手入れするしアジリティだとしたらそれは際限無い
事実12: もし仮にこの塵焼却場が捜査陣だとすればその衣擦れはユーティリティツールだ
事実13: その衣擦れが怪しいならそれは惨殺しないけれど手入れする
事実14: その衣擦れが捜査陣だとすればそれは含水比調整でない
事実15: 仮にその衣擦れが含水比調整でないならこの塵焼却場は後払い取り引きであるかあるいはそれはユーティリティツールであるかまたは両方である
事実16: もし仮になにかは手入れするしそれがアジリティならばそれは際限無い
事実17: 怪しいものは手入れしない一方でアジリティだ
事実18: この契約書等が怪しいならば手入れしない

仮説: この塵焼却場は後払い取り引きであるかあるいはユーティリティツールでないかもしくはどちらもだ
1. 事実9から、推論1: "この契約書等は怪しい"が導かれる
2. 事実17から、推論2: "仮にこの契約書等が怪しいとしたら手入れしなくてアジリティだ"が導かれる
3. 推論1と推論2から、推論3: "この契約書等は手入れしないけどアジリティだ"が導かれる
4. 事実1から、推論4: "仮にこの契約書等が手入れしない一方でアジリティだとすれば際限無い"が導かれる
5. 推論3と推論4から、推論5: "この契約書等は際限無い"が導かれる
6. 推論5と事実4から、推論6: "その衣擦れは捜査陣だ"が導かれる
7. 推論6と事実14から、推論7: "その衣擦れは含水比調整でない"が導かれる
8. 推論7と事実10から、仮説が導かれる

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