あの園芸家がず仕舞いだとするとその側切開は巨石遺跡でなくてかつ構え易いということはない
fact1: もし仮にあの園芸家がず仕舞いだとしたらその側切開は巨石遺跡でないけれど構え易い fact2: 何らかの物はず仕舞いだ fact3: もしこのＬ‐カルニチンが由々しいということはないとしたらその側切開は巨石遺跡でないしその上構え易くない fact4: その側切開は巨石遺跡でないけれど構え易い fact5: このＬ‐カルニチンが由々しくないとしたらその側切開は巨石遺跡だということはないが構え易い fact6: その側切開は巨石遺跡でない fact7: あの園芸家は弱々しくて散財する fact8: 仮にあの園芸家がず仕舞いならその側切開は巨石遺跡でない fact9: 弱々しいず仕舞いがあるとしたらこのＬ‐カルニチンは由々しくない fact10: あの園芸家は散財する fact11: 「このＬ‐カルニチンが由々しくないとすればその側切開は巨石遺跡でない」ということは正しい
fact7 -> int1: 「あの園芸家は弱々しい」ということは成り立つ; void -> assump1: 以下のように仮定する。あの園芸家はず仕舞いだ; int1 & assump1 -> int2: あの園芸家がず仕舞いだし弱々しい; int2 -> int3: 「ず仕舞いで弱々しい」物はある; int3 & fact9 -> int4: このＬ‐カルニチンは由々しくない; int4 & fact3 -> int5: その側切開は巨石遺跡でなくてしかも構え易くない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にあの園芸家がず仕舞いだとしたらその側切開は巨石遺跡でないけれど構え易い fact2: 何らかの物はず仕舞いだ fact3: もしこのＬ‐カルニチンが由々しいということはないとしたらその側切開は巨石遺跡でないしその上構え易くない fact4: その側切開は巨石遺跡でないけれど構え易い fact5: このＬ‐カルニチンが由々しくないとしたらその側切開は巨石遺跡だということはないが構え易い fact6: その側切開は巨石遺跡でない fact7: あの園芸家は弱々しくて散財する fact8: 仮にあの園芸家がず仕舞いならその側切開は巨石遺跡でない fact9: 弱々しいず仕舞いがあるとしたらこのＬ‐カルニチンは由々しくない fact10: あの園芸家は散財する fact11: 「このＬ‐カルニチンが由々しくないとすればその側切開は巨石遺跡でない」ということは正しい ; $hypothesis$ = あの園芸家がず仕舞いだとするとその側切開は巨石遺跡でなくてかつ構え易いということはない ; $proof$ = 
fact7 -> int1: 「あの園芸家は弱々しい」ということは成り立つ; void -> assump1: 以下のように仮定する。あの園芸家はず仕舞いだ; int1 & assump1 -> int2: あの園芸家がず仕舞いだし弱々しい; int2 -> int3: 「ず仕舞いで弱々しい」物はある; int3 & fact9 -> int4: このＬ‐カルニチンは由々しくない; int4 & fact3 -> int5: その側切開は巨石遺跡でなくてしかも構え易くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの園芸家がず仕舞いだとしたらその側切開は巨石遺跡でないけれど構え易い
事実2: 何らかの物はず仕舞いだ
事実3: もしこのＬ‐カルニチンが由々しいということはないとしたらその側切開は巨石遺跡でないしその上構え易くない
事実4: その側切開は巨石遺跡でないけれど構え易い
事実5: このＬ‐カルニチンが由々しくないとしたらその側切開は巨石遺跡だということはないが構え易い
事実6: その側切開は巨石遺跡でない
事実7: あの園芸家は弱々しくて散財する
事実8: 仮にあの園芸家がず仕舞いならその側切開は巨石遺跡でない
事実9: 弱々しいず仕舞いがあるとしたらこのＬ‐カルニチンは由々しくない
事実10: あの園芸家は散財する
事実11: 「このＬ‐カルニチンが由々しくないとすればその側切開は巨石遺跡でない」ということは正しい

仮説: あの園芸家がず仕舞いだとするとその側切開は巨石遺跡でなくてかつ構え易いということはない
1. 事実7から、推論1: "「あの園芸家は弱々しい」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あの園芸家はず仕舞いだ
3. 推論1と仮定1から、推論2: "あの園芸家がず仕舞いだし弱々しい"が導かれる
4. 推論2から、推論3: "「ず仕舞いで弱々しい」物はある"が導かれる
5. 推論3と事実9から、推論4: "このＬ‐カルニチンは由々しくない"が導かれる
6. 推論4と事実3から、推論5: "その側切開は巨石遺跡でなくてしかも構え易くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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