あの抑制因子は梳くしえぐい
fact1: もしなんらかのものが尊称しないならばそれは密封する fact2: その細胞間はえぐい fact3: もしもあるものは密封しないならば「それが紙鑢だし呼ばわりする」ということは誤りだ fact4: 仮に「あるものは密封するしまたそれは紙鑢である」ということは誤っているとするとそれは紙鑢だということはない fact5: 仮にあるものが紙鑢でないかまたはそれは密封しないかもしくはどちらもだとすればＩＴ化する fact6: もしこの第一課長はＩＴ化すれば「あの抑制因子はえぐい」ということは成り立つ fact7: 仮にこの第一課長が当て付けはましくらないとすれば「酸くないし加えて尊称しない」ということは成り立たない fact8: もしなんらかのものは紙鑢でないとすると「梳くしおまけにそれはえぐい」ということは偽だ fact9: この正式決定は呼ばわりしない一方で尊称する fact10: あの抑制因子は本システムでないが密封する fact11: もし仮にその細胞間が梳くとすればあの抑制因子は梳く fact12: あのＷ杯は呼ばわりするということはない fact13: もしもなんらかのものがＩＴ化しないなら呼ばわりしない fact14: この第一課長は梳かない fact15: もしも「この第一課長は酸くないしそれは尊称しない」ということは成り立つということはないならばＩＴ化しない fact16: この第一課長はラテン系である fact17: その細胞間は梳く fact18: 仮にこの第一課長が紙鑢であるとしたらこの正式決定は呼ばわりする fact19: 仮に「えぐい」ものがあるとするとこの正式決定はえぐいかＩＴ化しない fact20: もしもこの第一課長が密封しないならばＩＴ化する fact21: この六世紀は梳くということはない fact22: もし仮に「この正式決定はＩＴ化しない」ということは正しいならこの第一課長は密封しない
void -> assump1: 以下のように仮定する。この第一課長は紙鑢だ; fact18 & assump1 -> int1: この正式決定は呼ばわりする; fact9 -> int2: この正式決定は呼ばわりするということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この第一課長は紙鑢であるということはない; int4 -> int5: この第一課長は紙鑢でないかあるいは密封しないかあるいは両方ともである; fact5 -> int6: もしこの第一課長が紙鑢でないかもしくはそれは密封するということはないかもしくは両方ともであるとすると「それはＩＴ化する」ということは誤りでない; int5 & int6 -> int7: この第一課長はＩＴ化する; int7 & fact6 -> int8: あの抑制因子はえぐい; fact11 & fact17 -> int9: あの抑制因子は梳く; int8 & int9 -> hypothesis;
「あの抑制因子は梳くしおまけにえぐい」ということは成り立たない
fact24 -> int10: もし仮にあの抑制因子は紙鑢でないとすると「梳くししかもえぐい」ということは成り立たない; fact23 -> int11: 仮に「あの抑制因子は密封するし紙鑢である」ということは間違いであるとしたら紙鑢でない; fact27 -> int12: この第一課長がＩＴ化しないならば呼ばわりしない;
$facts$ = fact1: もしなんらかのものが尊称しないならばそれは密封する fact2: その細胞間はえぐい fact3: もしもあるものは密封しないならば「それが紙鑢だし呼ばわりする」ということは誤りだ fact4: 仮に「あるものは密封するしまたそれは紙鑢である」ということは誤っているとするとそれは紙鑢だということはない fact5: 仮にあるものが紙鑢でないかまたはそれは密封しないかもしくはどちらもだとすればＩＴ化する fact6: もしこの第一課長はＩＴ化すれば「あの抑制因子はえぐい」ということは成り立つ fact7: 仮にこの第一課長が当て付けはましくらないとすれば「酸くないし加えて尊称しない」ということは成り立たない fact8: もしなんらかのものは紙鑢でないとすると「梳くしおまけにそれはえぐい」ということは偽だ fact9: この正式決定は呼ばわりしない一方で尊称する fact10: あの抑制因子は本システムでないが密封する fact11: もし仮にその細胞間が梳くとすればあの抑制因子は梳く fact12: あのＷ杯は呼ばわりするということはない fact13: もしもなんらかのものがＩＴ化しないなら呼ばわりしない fact14: この第一課長は梳かない fact15: もしも「この第一課長は酸くないしそれは尊称しない」ということは成り立つということはないならばＩＴ化しない fact16: この第一課長はラテン系である fact17: その細胞間は梳く fact18: 仮にこの第一課長が紙鑢であるとしたらこの正式決定は呼ばわりする fact19: 仮に「えぐい」ものがあるとするとこの正式決定はえぐいかＩＴ化しない fact20: もしもこの第一課長が密封しないならばＩＴ化する fact21: この六世紀は梳くということはない fact22: もし仮に「この正式決定はＩＴ化しない」ということは正しいならこの第一課長は密封しない ; $hypothesis$ = あの抑制因子は梳くしえぐい ; $proof$ = 
void -> assump1: 以下のように仮定する。この第一課長は紙鑢だ; fact18 & assump1 -> int1: この正式決定は呼ばわりする; fact9 -> int2: この正式決定は呼ばわりするということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この第一課長は紙鑢であるということはない; int4 -> int5: この第一課長は紙鑢でないかあるいは密封しないかあるいは両方ともである; fact5 -> int6: もしこの第一課長が紙鑢でないかもしくはそれは密封するということはないかもしくは両方ともであるとすると「それはＩＴ化する」ということは誤りでない; int5 & int6 -> int7: この第一課長はＩＴ化する; int7 & fact6 -> int8: あの抑制因子はえぐい; fact11 & fact17 -> int9: あの抑制因子は梳く; int8 & int9 -> hypothesis; __PROVED__
事実1: もしなんらかのものが尊称しないならばそれは密封する
事実2: その細胞間はえぐい
事実3: もしもあるものは密封しないならば「それが紙鑢だし呼ばわりする」ということは誤りだ
事実4: 仮に「あるものは密封するしまたそれは紙鑢である」ということは誤っているとするとそれは紙鑢だということはない
事実5: 仮にあるものが紙鑢でないかまたはそれは密封しないかもしくはどちらもだとすればＩＴ化する
事実6: もしこの第一課長はＩＴ化すれば「あの抑制因子はえぐい」ということは成り立つ
事実7: 仮にこの第一課長が当て付けはましくらないとすれば「酸くないし加えて尊称しない」ということは成り立たない
事実8: もしなんらかのものは紙鑢でないとすると「梳くしおまけにそれはえぐい」ということは偽だ
事実9: この正式決定は呼ばわりしない一方で尊称する
事実10: あの抑制因子は本システムでないが密封する
事実11: もし仮にその細胞間が梳くとすればあの抑制因子は梳く
事実12: あのＷ杯は呼ばわりするということはない
事実13: もしもなんらかのものがＩＴ化しないなら呼ばわりしない
事実14: この第一課長は梳かない
事実15: もしも「この第一課長は酸くないしそれは尊称しない」ということは成り立つということはないならばＩＴ化しない
事実16: この第一課長はラテン系である
事実17: その細胞間は梳く
事実18: 仮にこの第一課長が紙鑢であるとしたらこの正式決定は呼ばわりする
事実19: 仮に「えぐい」ものがあるとするとこの正式決定はえぐいかＩＴ化しない
事実20: もしもこの第一課長が密封しないならばＩＴ化する
事実21: この六世紀は梳くということはない
事実22: もし仮に「この正式決定はＩＴ化しない」ということは正しいならこの第一課長は密封しない

仮説: あの抑制因子は梳くしえぐい
1. 仮定1: 以下のように仮定する。この第一課長は紙鑢だ
2. 事実18と仮定1から、推論1: "この正式決定は呼ばわりする"が導かれる
3. 事実9から、推論2: "この正式決定は呼ばわりするということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この第一課長は紙鑢であるということはない"が導かれる
6. 推論4から、推論5: "この第一課長は紙鑢でないかあるいは密封しないかあるいは両方ともである"が導かれる
7. 事実5から、推論6: "もしこの第一課長が紙鑢でないかもしくはそれは密封するということはないかもしくは両方ともであるとすると「それはＩＴ化する」ということは誤りでない"が導かれる
8. 推論5と推論6から、推論7: "この第一課長はＩＴ化する"が導かれる
9. 推論7と事実6から、推論8: "あの抑制因子はえぐい"が導かれる
10. 事実11と事実17から、推論9: "あの抑制因子は梳く"が導かれる
11. 推論8と推論9から、仮説が導かれる

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