その大江家はほっそりしない
fact1: 「もし仮にあの一本分が循環系でないけれど疚しいとするとあの心エコー検査は循環系でない」ということは間違っていない fact2: なにかは詰まり易いならそれは循環系でない一方で疚しい fact3: もしもそのチトクロムＣが循環系でないとしたらその大江家は循環系で更にほっそりする fact4: 見られ易いということはないものは遣る瀬無くて加えて詰まり易い fact5: 仮に「届き難い」物があるとしたらその美少年は循環系でない fact6: すべてのものは届き難いか取っ付き易い fact7: その大江家は循環系である fact8: もし仮に届き難いかまたは取っ付き易いかもしくは両方ともである物があるとしたらそのチトクロムＣは循環系でない fact9: 全ては循環系であるかあるいはほっそりするか両方ともである fact10: 仮にそのチトクロムＣが循環系でないとするとその大江家は循環系だ fact11: 仮に「取っ付き易い」物があるならそのチトクロムＣは循環系でない fact12: 仮に「そのチトクロムＣは届き難いということはないが取っ付き易い」ということは嘘ならその大江家はほっそりしない fact13: もしあの心エコー検査は循環系であるということはないとすると「そのチトクロムＣは届き難いということはないけど取っ付き易い」ということは成り立つということはない
fact6 -> int1: その美少年は届き難いか取っ付き易いか両方ともだ; int1 -> int2: 「届き難いかあるいは取っ付き易いかもしくは両方ともな」ものはある; int2 & fact8 -> int3: そのチトクロムＣは循環系でない; int3 & fact3 -> int4: その大江家が循環系だしまたほっそりする; int4 -> hypothesis;
その大江家はほっそりしない
fact15 -> int5: あの一本分が詰まり易いとしたら循環系でなくてかつ疚しい; fact18 -> int6: もし仮にあの一本分が見られ易くないとするとそれは遣る瀬無くて詰まり易い;
$facts$ = fact1: 「もし仮にあの一本分が循環系でないけれど疚しいとするとあの心エコー検査は循環系でない」ということは間違っていない fact2: なにかは詰まり易いならそれは循環系でない一方で疚しい fact3: もしもそのチトクロムＣが循環系でないとしたらその大江家は循環系で更にほっそりする fact4: 見られ易いということはないものは遣る瀬無くて加えて詰まり易い fact5: 仮に「届き難い」物があるとしたらその美少年は循環系でない fact6: すべてのものは届き難いか取っ付き易い fact7: その大江家は循環系である fact8: もし仮に届き難いかまたは取っ付き易いかもしくは両方ともである物があるとしたらそのチトクロムＣは循環系でない fact9: 全ては循環系であるかあるいはほっそりするか両方ともである fact10: 仮にそのチトクロムＣが循環系でないとするとその大江家は循環系だ fact11: 仮に「取っ付き易い」物があるならそのチトクロムＣは循環系でない fact12: 仮に「そのチトクロムＣは届き難いということはないが取っ付き易い」ということは嘘ならその大江家はほっそりしない fact13: もしあの心エコー検査は循環系であるということはないとすると「そのチトクロムＣは届き難いということはないけど取っ付き易い」ということは成り立つということはない ; $hypothesis$ = その大江家はほっそりしない ; $proof$ = 
fact6 -> int1: その美少年は届き難いか取っ付き易いか両方ともだ; int1 -> int2: 「届き難いかあるいは取っ付き易いかもしくは両方ともな」ものはある; int2 & fact8 -> int3: そのチトクロムＣは循環系でない; int3 & fact3 -> int4: その大江家が循環系だしまたほっそりする; int4 -> hypothesis; __DISPROVED__
事実1: 「もし仮にあの一本分が循環系でないけれど疚しいとするとあの心エコー検査は循環系でない」ということは間違っていない
事実2: なにかは詰まり易いならそれは循環系でない一方で疚しい
事実3: もしもそのチトクロムＣが循環系でないとしたらその大江家は循環系で更にほっそりする
事実4: 見られ易いということはないものは遣る瀬無くて加えて詰まり易い
事実5: 仮に「届き難い」物があるとしたらその美少年は循環系でない
事実6: すべてのものは届き難いか取っ付き易い
事実7: その大江家は循環系である
事実8: もし仮に届き難いかまたは取っ付き易いかもしくは両方ともである物があるとしたらそのチトクロムＣは循環系でない
事実9: 全ては循環系であるかあるいはほっそりするか両方ともである
事実10: 仮にそのチトクロムＣが循環系でないとするとその大江家は循環系だ
事実11: 仮に「取っ付き易い」物があるならそのチトクロムＣは循環系でない
事実12: 仮に「そのチトクロムＣは届き難いということはないが取っ付き易い」ということは嘘ならその大江家はほっそりしない
事実13: もしあの心エコー検査は循環系であるということはないとすると「そのチトクロムＣは届き難いということはないけど取っ付き易い」ということは成り立つということはない

仮説: その大江家はほっそりしない
1. 事実6から、推論1: "その美少年は届き難いか取っ付き易いか両方ともだ"が導かれる
2. 推論1から、推論2: "「届き難いかあるいは取っ付き易いかもしくは両方ともな」ものはある"が導かれる
3. 推論2と事実8から、推論3: "そのチトクロムＣは循環系でない"が導かれる
4. 推論3と事実3から、推論4: "その大江家が循環系だしまたほっそりする"が導かれる
5. 推論4から、仮説が否定される

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