その値は連想し易い
fact1: その裏目は太り易い fact2: もしもその値は伊那谷であるとしたらそれは太り易い fact3: あるものが太り易いとしたら連想し易くない fact4: その値は誇らしい fact5: 仮に「なんらかの物は呼吸中枢であるということはないけれど高度化する」ということは確かでないなら呼吸中枢だ fact6: その値は伊那谷である
fact2 & fact6 -> int1: その値は太り易い; fact3 -> int2: その値が太り易いとすれば連想し易くない; int1 & int2 -> hypothesis;
fact2 & fact6 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> ¬{C}{a}; int1 & int2 -> hypothesis;
「あの意匠登録は連想し易くない」ということは本当である
fact7 -> int3: もしも「この半円は呼吸中枢でない一方でそれは高度化する」ということは嘘だとするとそれは呼吸中枢である;
$facts$ = fact1: その裏目は太り易い fact2: もしもその値は伊那谷であるとしたらそれは太り易い fact3: あるものが太り易いとしたら連想し易くない fact4: その値は誇らしい fact5: 仮に「なんらかの物は呼吸中枢であるということはないけれど高度化する」ということは確かでないなら呼吸中枢だ fact6: その値は伊那谷である ; $hypothesis$ = その値は連想し易い ; $proof$ = 
fact2 & fact6 -> int1: その値は太り易い; fact3 -> int2: その値が太り易いとすれば連想し易くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その裏目は太り易い
事実2: もしもその値は伊那谷であるとしたらそれは太り易い
事実3: あるものが太り易いとしたら連想し易くない
事実4: その値は誇らしい
事実5: 仮に「なんらかの物は呼吸中枢であるということはないけれど高度化する」ということは確かでないなら呼吸中枢だ
事実6: その値は伊那谷である

仮説: その値は連想し易い
1. 事実2と事実6から、推論1: "その値は太り易い"が導かれる
2. 事実3から、推論2: "その値が太り易いとすれば連想し易くない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。