この三色目は共有設定でない一方で陥り易い
fact1: あの要養護児童が益金・損金算入しないとしたら従属しないしおまけに門番でない fact2: 仮になにかは猛反発しないとすれば「「共有設定だということはなくてそれは陥り易い」ということは成り立つ」ということは偽である fact3: 「このガラス細工は差し挟むか制度全体であるかまたはどちらもだ」ということは成り立つということはない fact4: もしあの要養護児童が狂い始めないけれどおどろおどろしいならばその救出は狂い始めない fact5: もしもその救出が狂い始めないとすればあの約款は幼いかまたはそれは期し難くない fact6: もし仮になんらかのものが従属しないとすればそれは狂い始めないししかもそれはおどろおどろしい fact7: 「あの約款が陥り易いとしたらこの三色目は共有設定でないけど陥り易い」ということは成り立つ fact8: 「「差し挟むかまたは制度全体であるかまたはどちらもである」ということは成り立たない」物があるとすればあの約款は陥り易い
fact3 -> int1: 「「差し挟むか制度全体であるか両方である」ということは成り立たない」物はある; int1 & fact8 -> int2: あの約款は陥り易い; int2 & fact7 -> hypothesis;
fact3 -> int1: (Ex): ¬({AA}x v {AB}x); int1 & fact8 -> int2: {A}{a}; int2 & fact7 -> hypothesis;
「この三色目は共有設定でない一方で陥り易い」ということは間違いだ
fact13 -> int3: 「もし仮に「この三色目は猛反発しない」ということは間違いでないなら「この三色目は共有設定でないけれど陥り易い」ということは成り立たない」ということは成り立つ; fact12 -> int4: 仮にあの要養護児童が従属しないとするとそれは狂い始めない一方でおどろおどろしい;
$facts$ = fact1: あの要養護児童が益金・損金算入しないとしたら従属しないしおまけに門番でない fact2: 仮になにかは猛反発しないとすれば「「共有設定だということはなくてそれは陥り易い」ということは成り立つ」ということは偽である fact3: 「このガラス細工は差し挟むか制度全体であるかまたはどちらもだ」ということは成り立つということはない fact4: もしあの要養護児童が狂い始めないけれどおどろおどろしいならばその救出は狂い始めない fact5: もしもその救出が狂い始めないとすればあの約款は幼いかまたはそれは期し難くない fact6: もし仮になんらかのものが従属しないとすればそれは狂い始めないししかもそれはおどろおどろしい fact7: 「あの約款が陥り易いとしたらこの三色目は共有設定でないけど陥り易い」ということは成り立つ fact8: 「「差し挟むかまたは制度全体であるかまたはどちらもである」ということは成り立たない」物があるとすればあの約款は陥り易い ; $hypothesis$ = この三色目は共有設定でない一方で陥り易い ; $proof$ = 
fact3 -> int1: 「「差し挟むか制度全体であるか両方である」ということは成り立たない」物はある; int1 & fact8 -> int2: あの約款は陥り易い; int2 & fact7 -> hypothesis; __PROVED__
事実1: あの要養護児童が益金・損金算入しないとしたら従属しないしおまけに門番でない
事実2: 仮になにかは猛反発しないとすれば「「共有設定だということはなくてそれは陥り易い」ということは成り立つ」ということは偽である
事実3: 「このガラス細工は差し挟むか制度全体であるかまたはどちらもだ」ということは成り立つということはない
事実4: もしあの要養護児童が狂い始めないけれどおどろおどろしいならばその救出は狂い始めない
事実5: もしもその救出が狂い始めないとすればあの約款は幼いかまたはそれは期し難くない
事実6: もし仮になんらかのものが従属しないとすればそれは狂い始めないししかもそれはおどろおどろしい
事実7: 「あの約款が陥り易いとしたらこの三色目は共有設定でないけど陥り易い」ということは成り立つ
事実8: 「「差し挟むかまたは制度全体であるかまたはどちらもである」ということは成り立たない」物があるとすればあの約款は陥り易い

仮説: この三色目は共有設定でない一方で陥り易い
1. 事実3から、推論1: "「「差し挟むか制度全体であるか両方である」ということは成り立たない」物はある"が導かれる
2. 推論1と事実8から、推論2: "あの約款は陥り易い"が導かれる
3. 推論2と事実7から、仮説が導かれる

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