その規約上は丸っこい
fact1: その値域は召集するけど平たくない fact2: 仮に「このＥγは感じ易い一方で易しくない」ということは誤っていればその値域は張り込みでない fact3: もしもその診断・治療は昼夜逆転しないならば「このＥγは感じ易い一方でそれは易しくない」ということは成り立たない fact4: その値域は召集するけれど平たくないとしたらふらんす物語でない fact5: その診断・治療は昼夜逆転するということはない fact6: もし仮に「張り込みでなくてかつふらんす物語だということはない」物があるならばあの規約上は丸っこい
fact3 & fact5 -> int1: 「このＥγは感じ易い一方で易しくない」ということは事実と異なる; int1 & fact2 -> int2: その値域は張り込みでない; fact1 & fact4 -> int3: 「その値域はふらんす物語でない」ということは確かである; int2 & int3 -> int4: その値域は張り込みであるということはないしさらにふらんす物語でない; int4 -> int5: 「張り込みでないしふらんす物語でない」物はある; int5 & fact6 -> hypothesis;
$facts$ = fact1: その値域は召集するけど平たくない fact2: 仮に「このＥγは感じ易い一方で易しくない」ということは誤っていればその値域は張り込みでない fact3: もしもその診断・治療は昼夜逆転しないならば「このＥγは感じ易い一方でそれは易しくない」ということは成り立たない fact4: その値域は召集するけれど平たくないとしたらふらんす物語でない fact5: その診断・治療は昼夜逆転するということはない fact6: もし仮に「張り込みでなくてかつふらんす物語だということはない」物があるならばあの規約上は丸っこい ; $hypothesis$ = その規約上は丸っこい ; $proof$ = 
fact3 & fact5 -> int1: 「このＥγは感じ易い一方で易しくない」ということは事実と異なる; int1 & fact2 -> int2: その値域は張り込みでない; fact1 & fact4 -> int3: 「その値域はふらんす物語でない」ということは確かである; int2 & int3 -> int4: その値域は張り込みであるということはないしさらにふらんす物語でない; int4 -> int5: 「張り込みでないしふらんす物語でない」物はある; int5 & fact6 -> hypothesis; __PROVED__
事実1: その値域は召集するけど平たくない
事実2: 仮に「このＥγは感じ易い一方で易しくない」ということは誤っていればその値域は張り込みでない
事実3: もしもその診断・治療は昼夜逆転しないならば「このＥγは感じ易い一方でそれは易しくない」ということは成り立たない
事実4: その値域は召集するけれど平たくないとしたらふらんす物語でない
事実5: その診断・治療は昼夜逆転するということはない
事実6: もし仮に「張り込みでなくてかつふらんす物語だということはない」物があるならばあの規約上は丸っこい

仮説: その規約上は丸っこい
1. 事実3と事実5から、推論1: "「このＥγは感じ易い一方で易しくない」ということは事実と異なる"が導かれる
2. 推論1と事実2から、推論2: "その値域は張り込みでない"が導かれる
3. 事実1と事実4から、推論3: "「その値域はふらんす物語でない」ということは確かである"が導かれる
4. 推論2と推論3から、推論4: "その値域は張り込みであるということはないしさらにふらんす物語でない"が導かれる
5. 推論4から、推論5: "「張り込みでないしふらんす物語でない」物はある"が導かれる
6. 推論5と事実6から、仮説が導かれる

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