「その猟犬は統括しない」ということは成り立つ
fact1: もし仮になにかはスパイラルアップしないとすればそれは御存じ無い fact2: 「受け入れられ易くない」ものはある fact3: 「エルゴステロールであるということはない」物はある fact4: 「この機械加工は増加するということはない」ということは成り立つ fact5: もし仮になんらかの物がエルゴステロールでないしさらにスパイラルアップしないとするとそれは統括する fact6: もしもこの機械加工が御存じ無いとするとあの異議後は増加する fact7: 「完成前な」ものはある fact8: この機械加工はスパイラルアップするとしたら「このコウ本は歴訪しないがしかし御存じ無い」ということは誤っている fact9: もし仮にこの欠け等は麗しならば「このコウ本は手痛くないがしかし歴訪する」ということは成り立たない fact10: もしも「この機械加工はスパイラルアップしない一方でそれは歴訪する」ということは誤りであるならこのコウ本は麗しということはない fact11: もしもとある物が絞り上げないとしたらそれは地下深い fact12: もしこのコウ本が統括するとしたらその猟犬は手痛い fact13: 「統括しない」物はある fact14: 「この欠け等は麗ししかつエルゴステロールだ」ということは嘘である fact15: 「エルゴステロールな」物はある fact16: このコウ本は御存じ無いとすると「この機械加工は歴訪しないがしかし手痛い」ということは誤りだ fact17: もし「あるものはエルゴステロールでない」ということは嘘でないならばそれは御存じ無い fact18: この機械加工は歴訪する fact19: 仮にこのコウ本が歴訪しないとしたらその猟犬は統括しない fact20: もし「このコウ本は御存じ無くない」ということは誤りだとするとこの機械加工は歴訪する fact21: 「この欠け等はエルゴステロールであるし更に麗し」ということは誤りだ fact22: もし仮に「このコウ本は手痛くないがしかし歴訪する」ということは成り立たないとするとその猟犬は統括しない fact23: もしあの異議後が御存じ無いとしたらその猟犬はエルゴステロールでないし更にスパイラルアップしない fact24: 「この機械加工は手痛くないがエルゴステロールだ」ということは偽である fact25: この欠け等は歴訪しない fact26: 仮に何かはエルゴステロールでないとすればこの機械加工はエルゴステロールでないかまたはそれはスパイラルアップしないかあるいはどちらもである fact27: あの異議後が増加するならこの欠け等は麗し
fact17 -> int1: 仮にこの機械加工はエルゴステロールでないとしたら「それは御存じ無い」ということは成り立つ; fact3 & fact26 -> int2: この機械加工はエルゴステロールであるということはないかあるいはそれはスパイラルアップしないか両方だ; fact1 -> int3: もしもこの機械加工がスパイラルアップしないならばそれは御存じ無い; int1 & int2 & int3 -> int4: この機械加工は御存じ無い; int4 & fact6 -> int5: あの異議後は増加する; int5 & fact27 -> int6: この欠け等は麗し; int6 & fact9 -> int7: 「このコウ本は手痛くないけれど歴訪する」ということは誤りである; int7 & fact22 -> hypothesis;
その猟犬は統括する
fact29 -> int8: もしその猟犬がエルゴステロールでないししかもそれがスパイラルアップしないなら統括する;
$facts$ = fact1: もし仮になにかはスパイラルアップしないとすればそれは御存じ無い fact2: 「受け入れられ易くない」ものはある fact3: 「エルゴステロールであるということはない」物はある fact4: 「この機械加工は増加するということはない」ということは成り立つ fact5: もし仮になんらかの物がエルゴステロールでないしさらにスパイラルアップしないとするとそれは統括する fact6: もしもこの機械加工が御存じ無いとするとあの異議後は増加する fact7: 「完成前な」ものはある fact8: この機械加工はスパイラルアップするとしたら「このコウ本は歴訪しないがしかし御存じ無い」ということは誤っている fact9: もし仮にこの欠け等は麗しならば「このコウ本は手痛くないがしかし歴訪する」ということは成り立たない fact10: もしも「この機械加工はスパイラルアップしない一方でそれは歴訪する」ということは誤りであるならこのコウ本は麗しということはない fact11: もしもとある物が絞り上げないとしたらそれは地下深い fact12: もしこのコウ本が統括するとしたらその猟犬は手痛い fact13: 「統括しない」物はある fact14: 「この欠け等は麗ししかつエルゴステロールだ」ということは嘘である fact15: 「エルゴステロールな」物はある fact16: このコウ本は御存じ無いとすると「この機械加工は歴訪しないがしかし手痛い」ということは誤りだ fact17: もし「あるものはエルゴステロールでない」ということは嘘でないならばそれは御存じ無い fact18: この機械加工は歴訪する fact19: 仮にこのコウ本が歴訪しないとしたらその猟犬は統括しない fact20: もし「このコウ本は御存じ無くない」ということは誤りだとするとこの機械加工は歴訪する fact21: 「この欠け等はエルゴステロールであるし更に麗し」ということは誤りだ fact22: もし仮に「このコウ本は手痛くないがしかし歴訪する」ということは成り立たないとするとその猟犬は統括しない fact23: もしあの異議後が御存じ無いとしたらその猟犬はエルゴステロールでないし更にスパイラルアップしない fact24: 「この機械加工は手痛くないがエルゴステロールだ」ということは偽である fact25: この欠け等は歴訪しない fact26: 仮に何かはエルゴステロールでないとすればこの機械加工はエルゴステロールでないかまたはそれはスパイラルアップしないかあるいはどちらもである fact27: あの異議後が増加するならこの欠け等は麗し ; $hypothesis$ = 「その猟犬は統括しない」ということは成り立つ ; $proof$ = 
fact17 -> int1: 仮にこの機械加工はエルゴステロールでないとしたら「それは御存じ無い」ということは成り立つ; fact3 & fact26 -> int2: この機械加工はエルゴステロールであるということはないかあるいはそれはスパイラルアップしないか両方だ; fact1 -> int3: もしもこの機械加工がスパイラルアップしないならばそれは御存じ無い; int1 & int2 & int3 -> int4: この機械加工は御存じ無い; int4 & fact6 -> int5: あの異議後は増加する; int5 & fact27 -> int6: この欠け等は麗し; int6 & fact9 -> int7: 「このコウ本は手痛くないけれど歴訪する」ということは誤りである; int7 & fact22 -> hypothesis; __PROVED__
事実1: もし仮になにかはスパイラルアップしないとすればそれは御存じ無い
事実2: 「受け入れられ易くない」ものはある
事実3: 「エルゴステロールであるということはない」物はある
事実4: 「この機械加工は増加するということはない」ということは成り立つ
事実5: もし仮になんらかの物がエルゴステロールでないしさらにスパイラルアップしないとするとそれは統括する
事実6: もしもこの機械加工が御存じ無いとするとあの異議後は増加する
事実7: 「完成前な」ものはある
事実8: この機械加工はスパイラルアップするとしたら「このコウ本は歴訪しないがしかし御存じ無い」ということは誤っている
事実9: もし仮にこの欠け等は麗しならば「このコウ本は手痛くないがしかし歴訪する」ということは成り立たない
事実10: もしも「この機械加工はスパイラルアップしない一方でそれは歴訪する」ということは誤りであるならこのコウ本は麗しということはない
事実11: もしもとある物が絞り上げないとしたらそれは地下深い
事実12: もしこのコウ本が統括するとしたらその猟犬は手痛い
事実13: 「統括しない」物はある
事実14: 「この欠け等は麗ししかつエルゴステロールだ」ということは嘘である
事実15: 「エルゴステロールな」物はある
事実16: このコウ本は御存じ無いとすると「この機械加工は歴訪しないがしかし手痛い」ということは誤りだ
事実17: もし「あるものはエルゴステロールでない」ということは嘘でないならばそれは御存じ無い
事実18: この機械加工は歴訪する
事実19: 仮にこのコウ本が歴訪しないとしたらその猟犬は統括しない
事実20: もし「このコウ本は御存じ無くない」ということは誤りだとするとこの機械加工は歴訪する
事実21: 「この欠け等はエルゴステロールであるし更に麗し」ということは誤りだ
事実22: もし仮に「このコウ本は手痛くないがしかし歴訪する」ということは成り立たないとするとその猟犬は統括しない
事実23: もしあの異議後が御存じ無いとしたらその猟犬はエルゴステロールでないし更にスパイラルアップしない
事実24: 「この機械加工は手痛くないがエルゴステロールだ」ということは偽である
事実25: この欠け等は歴訪しない
事実26: 仮に何かはエルゴステロールでないとすればこの機械加工はエルゴステロールでないかまたはそれはスパイラルアップしないかあるいはどちらもである
事実27: あの異議後が増加するならこの欠け等は麗し

仮説: 「その猟犬は統括しない」ということは成り立つ
1. 事実17から、推論1: "仮にこの機械加工はエルゴステロールでないとしたら「それは御存じ無い」ということは成り立つ"が導かれる
2. 事実3と事実26から、推論2: "この機械加工はエルゴステロールであるということはないかあるいはそれはスパイラルアップしないか両方だ"が導かれる
3. 事実1から、推論3: "もしもこの機械加工がスパイラルアップしないならばそれは御存じ無い"が導かれる
4. 推論1と推論2と推論3から、推論4: "この機械加工は御存じ無い"が導かれる
5. 推論4と事実6から、推論5: "あの異議後は増加する"が導かれる
6. 推論5と事実27から、推論6: "この欠け等は麗し"が導かれる
7. 推論6と事実9から、推論7: "「このコウ本は手痛くないけれど歴訪する」ということは誤りである"が導かれる
8. 推論7と事実22から、仮説が導かれる

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