この辺縁は太古以来である
fact1: この辺縁は守り切らない fact2: もしなにがしかのものが人気アーティストでないとしたら若くないかもしくはそれは考え易いということはないか両方だ fact3: もしもとあるものが若いということはないかあるいは考え易くないかあるいは両方ともならそれは考え易くない fact4: もし仮に「この税務上損金扱いは締め付ける」ということは真実だとしたらそれはキャンプしないししかも服さない fact5: 考え易くないものは極地研であるかまたは代用出来る fact6: この辺縁は使い易くないけれど守り切るとすると「太古以来でない」ということは確かである fact7: 使い易いということはない物が守り切るとしたら太古以来でない fact8: 仮に使い易いということはない物が守り切らないなら太古以来でない fact9: 「この辺縁は極地研である」ということは成り立つ fact10: もしこの辺縁が極地研なら守り切らない fact11: もしこの税務上損金扱いはキャンプしないし服さないとすればそれは人気アーティストでない fact12: もしもこの辺縁が極地研だとしたらそれは使い易くなくて守り切らない
fact8 -> int1: 「この辺縁は使い易いということはなくておまけに守り切らない」ということは誤りだということはないとするとそれは太古以来であるということはない; fact9 & fact12 -> int2: 「この辺縁は使い易くないしそれに守り切らない」ということは真実である; int1 & int2 -> hypothesis;
この辺縁は太古以来だ
fact13 -> int3: 仮にこの税務上損金扱いが考え易くないとしたらそれは極地研であるか代用出来るかもしくは両方ともだ; fact17 -> int4: もしこの税務上損金扱いは若くないか考え易いということはないかどちらもならそれは考え易いということはない; fact14 -> int5: もしもこの税務上損金扱いが人気アーティストでないならそれは若くないかもしくは考え易くない;
$facts$ = fact1: この辺縁は守り切らない fact2: もしなにがしかのものが人気アーティストでないとしたら若くないかもしくはそれは考え易いということはないか両方だ fact3: もしもとあるものが若いということはないかあるいは考え易くないかあるいは両方ともならそれは考え易くない fact4: もし仮に「この税務上損金扱いは締め付ける」ということは真実だとしたらそれはキャンプしないししかも服さない fact5: 考え易くないものは極地研であるかまたは代用出来る fact6: この辺縁は使い易くないけれど守り切るとすると「太古以来でない」ということは確かである fact7: 使い易いということはない物が守り切るとしたら太古以来でない fact8: 仮に使い易いということはない物が守り切らないなら太古以来でない fact9: 「この辺縁は極地研である」ということは成り立つ fact10: もしこの辺縁が極地研なら守り切らない fact11: もしこの税務上損金扱いはキャンプしないし服さないとすればそれは人気アーティストでない fact12: もしもこの辺縁が極地研だとしたらそれは使い易くなくて守り切らない ; $hypothesis$ = この辺縁は太古以来である ; $proof$ = 
fact8 -> int1: 「この辺縁は使い易いということはなくておまけに守り切らない」ということは誤りだということはないとするとそれは太古以来であるということはない; fact9 & fact12 -> int2: 「この辺縁は使い易くないしそれに守り切らない」ということは真実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この辺縁は守り切らない
事実2: もしなにがしかのものが人気アーティストでないとしたら若くないかもしくはそれは考え易いということはないか両方だ
事実3: もしもとあるものが若いということはないかあるいは考え易くないかあるいは両方ともならそれは考え易くない
事実4: もし仮に「この税務上損金扱いは締め付ける」ということは真実だとしたらそれはキャンプしないししかも服さない
事実5: 考え易くないものは極地研であるかまたは代用出来る
事実6: この辺縁は使い易くないけれど守り切るとすると「太古以来でない」ということは確かである
事実7: 使い易いということはない物が守り切るとしたら太古以来でない
事実8: 仮に使い易いということはない物が守り切らないなら太古以来でない
事実9: 「この辺縁は極地研である」ということは成り立つ
事実10: もしこの辺縁が極地研なら守り切らない
事実11: もしこの税務上損金扱いはキャンプしないし服さないとすればそれは人気アーティストでない
事実12: もしもこの辺縁が極地研だとしたらそれは使い易くなくて守り切らない

仮説: この辺縁は太古以来である
1. 事実8から、推論1: "「この辺縁は使い易いということはなくておまけに守り切らない」ということは誤りだということはないとするとそれは太古以来であるということはない"が導かれる
2. 事実9と事実12から、推論2: "「この辺縁は使い易くないしそれに守り切らない」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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