仮にこのゼネストが保障しないならばこの自分等は抗い難くない
fact1: もし仮にこの自分等がチーズ製造であるとしたらこの単元は抗い難くないけれどそれはチーズ製造である fact2: もしもとあるものが保障しないなら久しない fact3: もし仮にこの自分等が引退行動だということはないならこの単元は抗い難い fact4: 仮にこの単元がチーズ製造だということはないがしかし引退行動だとするとこの自分等は抗い難い fact5: もしこの単元がチーズ製造でないけれどそれが引退行動であるならばこの自分等は抗い難くない fact6: 「このゼネストは引退行動だ」ということは成り立てばこの単元はチーズ製造でない fact7: この自分等は抗い難い fact8: あの狭窄部は抗い難くない fact9: このゼネストは久しない fact10: とある物が保障しないとするとそれは引退行動だがしかし久しということはない fact11: 「このゼネストは引退行動だ」ということは確かであるとするとこの単元はチーズ製造でないが引退行動だ
fact10 -> int1: もしこのゼネストが保障しないならばそれは引退行動だ一方で久しない; void -> assump1: 以下のように仮定する。「このゼネストは保障しない」ということは確かである; int1 & assump1 -> int2: このゼネストは引退行動だけれど久しない; int2 -> int3: このゼネストは引退行動だ; int3 & fact11 -> int4: この単元はチーズ製造でないが引退行動だ; int4 & fact5 -> int5: この自分等は抗い難くない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にこの自分等がチーズ製造であるとしたらこの単元は抗い難くないけれどそれはチーズ製造である fact2: もしもとあるものが保障しないなら久しない fact3: もし仮にこの自分等が引退行動だということはないならこの単元は抗い難い fact4: 仮にこの単元がチーズ製造だということはないがしかし引退行動だとするとこの自分等は抗い難い fact5: もしこの単元がチーズ製造でないけれどそれが引退行動であるならばこの自分等は抗い難くない fact6: 「このゼネストは引退行動だ」ということは成り立てばこの単元はチーズ製造でない fact7: この自分等は抗い難い fact8: あの狭窄部は抗い難くない fact9: このゼネストは久しない fact10: とある物が保障しないとするとそれは引退行動だがしかし久しということはない fact11: 「このゼネストは引退行動だ」ということは確かであるとするとこの単元はチーズ製造でないが引退行動だ ; $hypothesis$ = 仮にこのゼネストが保障しないならばこの自分等は抗い難くない ; $proof$ = 
fact10 -> int1: もしこのゼネストが保障しないならばそれは引退行動だ一方で久しない; void -> assump1: 以下のように仮定する。「このゼネストは保障しない」ということは確かである; int1 & assump1 -> int2: このゼネストは引退行動だけれど久しない; int2 -> int3: このゼネストは引退行動だ; int3 & fact11 -> int4: この単元はチーズ製造でないが引退行動だ; int4 & fact5 -> int5: この自分等は抗い難くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にこの自分等がチーズ製造であるとしたらこの単元は抗い難くないけれどそれはチーズ製造である
事実2: もしもとあるものが保障しないなら久しない
事実3: もし仮にこの自分等が引退行動だということはないならこの単元は抗い難い
事実4: 仮にこの単元がチーズ製造だということはないがしかし引退行動だとするとこの自分等は抗い難い
事実5: もしこの単元がチーズ製造でないけれどそれが引退行動であるならばこの自分等は抗い難くない
事実6: 「このゼネストは引退行動だ」ということは成り立てばこの単元はチーズ製造でない
事実7: この自分等は抗い難い
事実8: あの狭窄部は抗い難くない
事実9: このゼネストは久しない
事実10: とある物が保障しないとするとそれは引退行動だがしかし久しということはない
事実11: 「このゼネストは引退行動だ」ということは確かであるとするとこの単元はチーズ製造でないが引退行動だ

仮説: 仮にこのゼネストが保障しないならばこの自分等は抗い難くない
1. 事実10から、推論1: "もしこのゼネストが保障しないならばそれは引退行動だ一方で久しない"が導かれる
2. 仮定1: 以下のように仮定する。「このゼネストは保障しない」ということは確かである
3. 推論1と仮定1から、推論2: "このゼネストは引退行動だけれど久しない"が導かれる
4. 推論2から、推論3: "このゼネストは引退行動だ"が導かれる
5. 推論3と事実11から、推論4: "この単元はチーズ製造でないが引退行動だ"が導かれる
6. 推論4と事実5から、推論5: "この自分等は抗い難くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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