「その電動リールは目まぐるしいかまたは肝臓機能でないかもしくはどちらもである」ということは誤りである
fact1: もし仮にその電動リールは目まぐるしかないなら「あの生産面は物狂おしいか肝臓機能でないかあるいはどちらもだ」ということは成り立たない fact2: 何かは目まぐるしかないしそれは肝臓機能でない fact3: もし仮に「肝臓機能で加えて物狂おしくない」物があるとするとあの生産面は目まぐるしかない fact4: 何らかの物はビジネス・インキュベーションでなくてそれは伝道師でない fact5: その電動リールは物狂おしくないとしたら「あの生産面は目まぐるしい」ということは偽でない fact6: 「肝臓機能でないしおまけに目まぐるしかない」ものはある fact7: 何らかのものは物狂おしくないがしかし肝臓機能だ fact8: その電動リールは肝臓機能である fact9: もし仮にあの生産面がおどろおどろしくないとしたらその電動リールは物狂おしいしおまけにテンメンジャンだ fact10: あの生産面はビジネス・インキュベーションである fact11: あの生産面は目まぐるしかないなら「その電動リールは物狂おしい」ということは真実だ fact12: なんらかのものは肝臓機能でないがしかし物狂おしい fact13: もしもあるものが肝臓機能でないしさらにそれが物狂おしくないとすればその電動リールは目まぐるしかない fact14: 仮にその電動リールが伝道師だとするとそれはビジネス・インキュベーションである fact15: もしあの生産面は物狂おしくないとすると「その電動リールは目まぐるしいかまたは肝臓機能でないかまたは両方ともである」ということは偽である fact16: 仮に物狂おしい物が肝臓機能だということはないならばあの生産面は目まぐるしいということはない fact17: もし仮に「ビジネス・インキュベーションでないししかも伝道師でない」物があるとしたらあの生産面は物狂おしくない fact18: 仮にあるものは肝臓機能でないとしたらそれは伝道師だし加えて物狂おしい fact19: 仮にとある物は伝道師だとしたら「ビジネス・インキュベーションであるかまたは近しないかあるいは両方だ」ということは偽だ
fact4 & fact17 -> int1: あの生産面は物狂おしくない; int1 & fact15 -> hypothesis;
fact4 & fact17 -> int1: ¬{C}{a}; int1 & fact15 -> hypothesis;
その電動リールは目まぐるしいか肝臓機能でないかあるいは両方だ
$facts$ = fact1: もし仮にその電動リールは目まぐるしかないなら「あの生産面は物狂おしいか肝臓機能でないかあるいはどちらもだ」ということは成り立たない fact2: 何かは目まぐるしかないしそれは肝臓機能でない fact3: もし仮に「肝臓機能で加えて物狂おしくない」物があるとするとあの生産面は目まぐるしかない fact4: 何らかの物はビジネス・インキュベーションでなくてそれは伝道師でない fact5: その電動リールは物狂おしくないとしたら「あの生産面は目まぐるしい」ということは偽でない fact6: 「肝臓機能でないしおまけに目まぐるしかない」ものはある fact7: 何らかのものは物狂おしくないがしかし肝臓機能だ fact8: その電動リールは肝臓機能である fact9: もし仮にあの生産面がおどろおどろしくないとしたらその電動リールは物狂おしいしおまけにテンメンジャンだ fact10: あの生産面はビジネス・インキュベーションである fact11: あの生産面は目まぐるしかないなら「その電動リールは物狂おしい」ということは真実だ fact12: なんらかのものは肝臓機能でないがしかし物狂おしい fact13: もしもあるものが肝臓機能でないしさらにそれが物狂おしくないとすればその電動リールは目まぐるしかない fact14: 仮にその電動リールが伝道師だとするとそれはビジネス・インキュベーションである fact15: もしあの生産面は物狂おしくないとすると「その電動リールは目まぐるしいかまたは肝臓機能でないかまたは両方ともである」ということは偽である fact16: 仮に物狂おしい物が肝臓機能だということはないならばあの生産面は目まぐるしいということはない fact17: もし仮に「ビジネス・インキュベーションでないししかも伝道師でない」物があるとしたらあの生産面は物狂おしくない fact18: 仮にあるものは肝臓機能でないとしたらそれは伝道師だし加えて物狂おしい fact19: 仮にとある物は伝道師だとしたら「ビジネス・インキュベーションであるかまたは近しないかあるいは両方だ」ということは偽だ ; $hypothesis$ = 「その電動リールは目まぐるしいかまたは肝臓機能でないかもしくはどちらもである」ということは誤りである ; $proof$ = 
fact4 & fact17 -> int1: あの生産面は物狂おしくない; int1 & fact15 -> hypothesis; __PROVED__
事実1: もし仮にその電動リールは目まぐるしかないなら「あの生産面は物狂おしいか肝臓機能でないかあるいはどちらもだ」ということは成り立たない
事実2: 何かは目まぐるしかないしそれは肝臓機能でない
事実3: もし仮に「肝臓機能で加えて物狂おしくない」物があるとするとあの生産面は目まぐるしかない
事実4: 何らかの物はビジネス・インキュベーションでなくてそれは伝道師でない
事実5: その電動リールは物狂おしくないとしたら「あの生産面は目まぐるしい」ということは偽でない
事実6: 「肝臓機能でないしおまけに目まぐるしかない」ものはある
事実7: 何らかのものは物狂おしくないがしかし肝臓機能だ
事実8: その電動リールは肝臓機能である
事実9: もし仮にあの生産面がおどろおどろしくないとしたらその電動リールは物狂おしいしおまけにテンメンジャンだ
事実10: あの生産面はビジネス・インキュベーションである
事実11: あの生産面は目まぐるしかないなら「その電動リールは物狂おしい」ということは真実だ
事実12: なんらかのものは肝臓機能でないがしかし物狂おしい
事実13: もしもあるものが肝臓機能でないしさらにそれが物狂おしくないとすればその電動リールは目まぐるしかない
事実14: 仮にその電動リールが伝道師だとするとそれはビジネス・インキュベーションである
事実15: もしあの生産面は物狂おしくないとすると「その電動リールは目まぐるしいかまたは肝臓機能でないかまたは両方ともである」ということは偽である
事実16: 仮に物狂おしい物が肝臓機能だということはないならばあの生産面は目まぐるしいということはない
事実17: もし仮に「ビジネス・インキュベーションでないししかも伝道師でない」物があるとしたらあの生産面は物狂おしくない
事実18: 仮にあるものは肝臓機能でないとしたらそれは伝道師だし加えて物狂おしい
事実19: 仮にとある物は伝道師だとしたら「ビジネス・インキュベーションであるかまたは近しないかあるいは両方だ」ということは偽だ

仮説: 「その電動リールは目まぐるしいかまたは肝臓機能でないかもしくはどちらもである」ということは誤りである
1. 事実4と事実17から、推論1: "あの生産面は物狂おしくない"が導かれる
2. 推論1と事実15から、仮説が導かれる

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