「この隠元豆は俊敏でない」ということは真実である
fact1: この鼠蹊ヘルニアは労働立法でない fact2: あの骨新生が図り難くないけどそれが流産するとするとそのてかりは図り難い fact3: あの骨新生は図り難いし流産する fact4: 図り難い物は慎み深くないが俊敏である fact5: もしあの骨新生が再診断するということはないとすればこの鼠蹊ヘルニアは膨張しない一方で再診断する fact6: もしこの鼠蹊ヘルニアが膨張しないがしかしそれが再診断するとするとこの隠元豆は俊敏である fact7: もし仮に「あるものは流産するということはない」ということは本当なら「それは図り難くない一方で俊敏である」ということは誤りである fact8: もしも「なんらかのものは膨張するしその上労働立法である」ということは間違っているとすれば「それは労働立法でない」ということは成り立つ fact9: もしこの鼠蹊ヘルニアが再診断しないとするとあの骨新生は流産しないし更にそれは労働立法でない fact10: もし仮に「「この原子核は再診断するということはないが自由結婚主義者だ」ということは成り立つ」ということは成り立たないならばこの鼠蹊ヘルニアは再診断しない fact11: 「この鼠蹊ヘルニアは自由結婚主義者だけど再診断しない」ということは間違いだ fact12: もし仮にあの骨新生が流産するとすればそれは再診断しないしそれは労働立法でない fact13: もしも「この鼠蹊ヘルニアは自由結婚主義者であるが再診断しない」ということは誤りであるならば再診断する
fact3 -> int1: あの骨新生は流産する; int1 & fact12 -> int2: あの骨新生は再診断しなくてまた労働立法でない; int2 -> int3: あの骨新生は再診断しない; int3 & fact5 -> int4: この鼠蹊ヘルニアは膨張しないけど再診断する; int4 & fact6 -> hypothesis;
この隠元豆は俊敏でない
fact16 -> int5: もしもあの骨新生は流産するということはないならば「図り難くないしそれは俊敏である」ということは本当でない;
$facts$ = fact1: この鼠蹊ヘルニアは労働立法でない fact2: あの骨新生が図り難くないけどそれが流産するとするとそのてかりは図り難い fact3: あの骨新生は図り難いし流産する fact4: 図り難い物は慎み深くないが俊敏である fact5: もしあの骨新生が再診断するということはないとすればこの鼠蹊ヘルニアは膨張しない一方で再診断する fact6: もしこの鼠蹊ヘルニアが膨張しないがしかしそれが再診断するとするとこの隠元豆は俊敏である fact7: もし仮に「あるものは流産するということはない」ということは本当なら「それは図り難くない一方で俊敏である」ということは誤りである fact8: もしも「なんらかのものは膨張するしその上労働立法である」ということは間違っているとすれば「それは労働立法でない」ということは成り立つ fact9: もしこの鼠蹊ヘルニアが再診断しないとするとあの骨新生は流産しないし更にそれは労働立法でない fact10: もし仮に「「この原子核は再診断するということはないが自由結婚主義者だ」ということは成り立つ」ということは成り立たないならばこの鼠蹊ヘルニアは再診断しない fact11: 「この鼠蹊ヘルニアは自由結婚主義者だけど再診断しない」ということは間違いだ fact12: もし仮にあの骨新生が流産するとすればそれは再診断しないしそれは労働立法でない fact13: もしも「この鼠蹊ヘルニアは自由結婚主義者であるが再診断しない」ということは誤りであるならば再診断する ; $hypothesis$ = 「この隠元豆は俊敏でない」ということは真実である ; $proof$ = 
fact3 -> int1: あの骨新生は流産する; int1 & fact12 -> int2: あの骨新生は再診断しなくてまた労働立法でない; int2 -> int3: あの骨新生は再診断しない; int3 & fact5 -> int4: この鼠蹊ヘルニアは膨張しないけど再診断する; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: この鼠蹊ヘルニアは労働立法でない
事実2: あの骨新生が図り難くないけどそれが流産するとするとそのてかりは図り難い
事実3: あの骨新生は図り難いし流産する
事実4: 図り難い物は慎み深くないが俊敏である
事実5: もしあの骨新生が再診断するということはないとすればこの鼠蹊ヘルニアは膨張しない一方で再診断する
事実6: もしこの鼠蹊ヘルニアが膨張しないがしかしそれが再診断するとするとこの隠元豆は俊敏である
事実7: もし仮に「あるものは流産するということはない」ということは本当なら「それは図り難くない一方で俊敏である」ということは誤りである
事実8: もしも「なんらかのものは膨張するしその上労働立法である」ということは間違っているとすれば「それは労働立法でない」ということは成り立つ
事実9: もしこの鼠蹊ヘルニアが再診断しないとするとあの骨新生は流産しないし更にそれは労働立法でない
事実10: もし仮に「「この原子核は再診断するということはないが自由結婚主義者だ」ということは成り立つ」ということは成り立たないならばこの鼠蹊ヘルニアは再診断しない
事実11: 「この鼠蹊ヘルニアは自由結婚主義者だけど再診断しない」ということは間違いだ
事実12: もし仮にあの骨新生が流産するとすればそれは再診断しないしそれは労働立法でない
事実13: もしも「この鼠蹊ヘルニアは自由結婚主義者であるが再診断しない」ということは誤りであるならば再診断する

仮説: 「この隠元豆は俊敏でない」ということは真実である
1. 事実3から、推論1: "あの骨新生は流産する"が導かれる
2. 推論1と事実12から、推論2: "あの骨新生は再診断しなくてまた労働立法でない"が導かれる
3. 推論2から、推論3: "あの骨新生は再診断しない"が導かれる
4. 推論3と事実5から、推論4: "この鼠蹊ヘルニアは膨張しないけど再診断する"が導かれる
5. 推論4と事実6から、仮説が否定される

よって、仮説が否定されました。