このマーケティング活動は下ろし易いけれど生易しくない
fact1: もしも「この心肺は苦しないしかつそれは地界だということはない」ということは事実でないとしたら「それは得易い」ということは成り立つ fact2: もしこの心肺が下ろし易くないならこのマーケティング活動は下ろし易いがそれは生易しくない fact3: 仮にこの心肺が得心するかまたは得易いかもしくは両方であるとしたらあの実写は優しない fact4: この心肺は下ろし易いとすると「苦しないしかつ地界でない」ということは事実と異なる fact5: あの実写は優し fact6: その伝聞証拠は知り合うなら「あの実写が優しないしさらにそれは得心しない」ということは事実でない
void -> assump1: 以下のように仮定する。この心肺は下ろし易い; fact4 & assump1 -> int1: 「この心肺は苦しないしその上それは地界でない」ということは事実でない; int1 & fact1 -> int2: 「この心肺は得易い」ということは成り立つ; int2 -> int3: 「この心肺は得心するかもしくはそれは得易いかもしくはどちらもだ」ということは確かである; int3 & fact3 -> int4: あの実写は優しない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: この心肺は下ろし易くない; int6 & fact2 -> hypothesis;
「このマーケティング活動は下ろし易いが生易しくない」ということは事実と異なる
$facts$ = fact1: もしも「この心肺は苦しないしかつそれは地界だということはない」ということは事実でないとしたら「それは得易い」ということは成り立つ fact2: もしこの心肺が下ろし易くないならこのマーケティング活動は下ろし易いがそれは生易しくない fact3: 仮にこの心肺が得心するかまたは得易いかもしくは両方であるとしたらあの実写は優しない fact4: この心肺は下ろし易いとすると「苦しないしかつ地界でない」ということは事実と異なる fact5: あの実写は優し fact6: その伝聞証拠は知り合うなら「あの実写が優しないしさらにそれは得心しない」ということは事実でない ; $hypothesis$ = このマーケティング活動は下ろし易いけれど生易しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この心肺は下ろし易い; fact4 & assump1 -> int1: 「この心肺は苦しないしその上それは地界でない」ということは事実でない; int1 & fact1 -> int2: 「この心肺は得易い」ということは成り立つ; int2 -> int3: 「この心肺は得心するかもしくはそれは得易いかもしくはどちらもだ」ということは確かである; int3 & fact3 -> int4: あの実写は優しない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: この心肺は下ろし易くない; int6 & fact2 -> hypothesis; __PROVED__
事実1: もしも「この心肺は苦しないしかつそれは地界だということはない」ということは事実でないとしたら「それは得易い」ということは成り立つ
事実2: もしこの心肺が下ろし易くないならこのマーケティング活動は下ろし易いがそれは生易しくない
事実3: 仮にこの心肺が得心するかまたは得易いかもしくは両方であるとしたらあの実写は優しない
事実4: この心肺は下ろし易いとすると「苦しないしかつ地界でない」ということは事実と異なる
事実5: あの実写は優し
事実6: その伝聞証拠は知り合うなら「あの実写が優しないしさらにそれは得心しない」ということは事実でない

仮説: このマーケティング活動は下ろし易いけれど生易しくない
1. 仮定1: 以下のように仮定する。この心肺は下ろし易い
2. 事実4と仮定1から、推論1: "「この心肺は苦しないしその上それは地界でない」ということは事実でない"が導かれる
3. 推論1と事実1から、推論2: "「この心肺は得易い」ということは成り立つ"が導かれる
4. 推論2から、推論3: "「この心肺は得心するかもしくはそれは得易いかもしくはどちらもだ」ということは確かである"が導かれる
5. 推論3と事実3から、推論4: "あの実写は優しない"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この心肺は下ろし易くない"が導かれる
8. 推論6と事実2から、仮説が導かれる

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