「この大集合は大人しいがしかし過剰適応しない」ということは事実と異なる
fact1: 仮にとある物は揺さぶらないとすれば「大人しくて更に過剰適応するということはない」ということは間違いだ fact2: 「あの悪性リンパ腫は剃髪する一方で深入りしない」ということは誤りだ fact3: この大集合は瑞々しい fact4: 「この大集合は分かり易いがしかし過剰適応しない」ということは事実と異なる fact5: もし仮にあるものが揺さぶるならそれは理解し易い fact6: もし仮に瑞々しい物が引き結ぶとしたら揺さぶらない fact7: この大集合は自然らしいし打ち明ける fact8: もしもなにかは扱き出さないなら「宅地造成地でそれに餓鬼っぽい」ということは偽だ fact9: もし仮に何かは過剰適応しないならば揺さぶるかそれは引き結ぶ fact10: 仮にこの機械類がまあるいということはないとするとこの大集合は大人しくないしその上過剰適応しない fact11: 瑞々しくない物は大人しいけれど過剰適応するということはない fact12: 「この大集合は引き結ぶ」ということは真実だ
fact3 & fact12 -> int1: この大集合は瑞々しいしその上引き結ぶ; fact6 -> int2: もし仮にこの大集合が瑞々しくてそれが引き結ぶなら揺さぶらない; int1 & int2 -> int3: この大集合は揺さぶらない; fact1 -> int4: 仮にこの大集合は揺さぶらないなら「大人しいけど過剰適応しない」ということは間違いである; int3 & int4 -> hypothesis;
この大集合は理解し易くて加えて進み易い
fact15 -> int5: もし仮にこの大集合が過剰適応しないならそれは揺さぶるか引き結ぶかあるいは両方である; fact13 -> int6: もし仮にこの大集合が揺さぶるとしたらそれは理解し易い;
$facts$ = fact1: 仮にとある物は揺さぶらないとすれば「大人しくて更に過剰適応するということはない」ということは間違いだ fact2: 「あの悪性リンパ腫は剃髪する一方で深入りしない」ということは誤りだ fact3: この大集合は瑞々しい fact4: 「この大集合は分かり易いがしかし過剰適応しない」ということは事実と異なる fact5: もし仮にあるものが揺さぶるならそれは理解し易い fact6: もし仮に瑞々しい物が引き結ぶとしたら揺さぶらない fact7: この大集合は自然らしいし打ち明ける fact8: もしもなにかは扱き出さないなら「宅地造成地でそれに餓鬼っぽい」ということは偽だ fact9: もし仮に何かは過剰適応しないならば揺さぶるかそれは引き結ぶ fact10: 仮にこの機械類がまあるいということはないとするとこの大集合は大人しくないしその上過剰適応しない fact11: 瑞々しくない物は大人しいけれど過剰適応するということはない fact12: 「この大集合は引き結ぶ」ということは真実だ ; $hypothesis$ = 「この大集合は大人しいがしかし過剰適応しない」ということは事実と異なる ; $proof$ = 
fact3 & fact12 -> int1: この大集合は瑞々しいしその上引き結ぶ; fact6 -> int2: もし仮にこの大集合が瑞々しくてそれが引き結ぶなら揺さぶらない; int1 & int2 -> int3: この大集合は揺さぶらない; fact1 -> int4: 仮にこの大集合は揺さぶらないなら「大人しいけど過剰適応しない」ということは間違いである; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にとある物は揺さぶらないとすれば「大人しくて更に過剰適応するということはない」ということは間違いだ
事実2: 「あの悪性リンパ腫は剃髪する一方で深入りしない」ということは誤りだ
事実3: この大集合は瑞々しい
事実4: 「この大集合は分かり易いがしかし過剰適応しない」ということは事実と異なる
事実5: もし仮にあるものが揺さぶるならそれは理解し易い
事実6: もし仮に瑞々しい物が引き結ぶとしたら揺さぶらない
事実7: この大集合は自然らしいし打ち明ける
事実8: もしもなにかは扱き出さないなら「宅地造成地でそれに餓鬼っぽい」ということは偽だ
事実9: もし仮に何かは過剰適応しないならば揺さぶるかそれは引き結ぶ
事実10: 仮にこの機械類がまあるいということはないとするとこの大集合は大人しくないしその上過剰適応しない
事実11: 瑞々しくない物は大人しいけれど過剰適応するということはない
事実12: 「この大集合は引き結ぶ」ということは真実だ

仮説: 「この大集合は大人しいがしかし過剰適応しない」ということは事実と異なる
1. 事実3と事実12から、推論1: "この大集合は瑞々しいしその上引き結ぶ"が導かれる
2. 事実6から、推論2: "もし仮にこの大集合が瑞々しくてそれが引き結ぶなら揺さぶらない"が導かれる
3. 推論1と推論2から、推論3: "この大集合は揺さぶらない"が導かれる
4. 事実1から、推論4: "仮にこの大集合は揺さぶらないなら「大人しいけど過剰適応しない」ということは間違いである"が導かれる
5. 推論3と推論4から、仮説が導かれる

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