あの幾何学的関係は選択し直す
fact1: あの問屋組は実現し易い fact2: もし仮にその大江家が信じ易いとするとあの基本テクは安眠する fact3: もしあの基本テクが安眠するとすればあの区画は資源保護だが安眠するということはない fact4: もしなにかは引き出し易くないならば「それは資源保護でそれは満勤続しない」ということは成り立たない fact5: 仮にあの問屋組が実現し易いとしたらその大江家は北進しないけどそれは有りの侭である fact6: 「あの問屋組は安眠しないかまたは赤字続きであるかあるいは両方ともである」ということは誤りだ fact7: もし仮に「その微風は資源保護であるけれど満勤続しない」ということは成り立たないなら選択し直さない fact8: その微風は間違い無くないけれどそれは重々しい fact9: 「あの基本テクは引き出し易くない一方で満勤続する」ということは成り立たないとすると安眠しない fact10: もし「「あの問屋組は安眠しないかまたはそれは赤字続きである」ということは成り立たない」ということは確かだとするとその微風は安眠しない fact11: もしあの基本テクは安眠しないなら「それは信じ易くておまけにそれは資源保護でない」ということは成り立たない fact12: もしなんらかのものが安眠しないとすればされ易くない fact13: 仮にその区画が資源保護であるがしかし安眠しないとすればあの幾何学的関係は選択し直さない fact14: 何かは選択し直すということはないとすればそれは実現し易いし更に信じ易い fact15: 仮にあの問屋組が選択し直すとするとあの幾何学的関係は選択し直す fact16: もしその大江家が北進しないけどそれが有りの侭なら信じ易い
fact5 & fact1 -> int1: その大江家は北進しないけれどそれは有りの侭である; int1 & fact16 -> int2: その大江家は信じ易い; int2 & fact2 -> int3: あの基本テクは安眠する; int3 & fact3 -> int4: その区画は資源保護だ一方で安眠するということはない; int4 & fact13 -> hypothesis;
あの幾何学的関係は選択し直す
$facts$ = fact1: あの問屋組は実現し易い fact2: もし仮にその大江家が信じ易いとするとあの基本テクは安眠する fact3: もしあの基本テクが安眠するとすればあの区画は資源保護だが安眠するということはない fact4: もしなにかは引き出し易くないならば「それは資源保護でそれは満勤続しない」ということは成り立たない fact5: 仮にあの問屋組が実現し易いとしたらその大江家は北進しないけどそれは有りの侭である fact6: 「あの問屋組は安眠しないかまたは赤字続きであるかあるいは両方ともである」ということは誤りだ fact7: もし仮に「その微風は資源保護であるけれど満勤続しない」ということは成り立たないなら選択し直さない fact8: その微風は間違い無くないけれどそれは重々しい fact9: 「あの基本テクは引き出し易くない一方で満勤続する」ということは成り立たないとすると安眠しない fact10: もし「「あの問屋組は安眠しないかまたはそれは赤字続きである」ということは成り立たない」ということは確かだとするとその微風は安眠しない fact11: もしあの基本テクは安眠しないなら「それは信じ易くておまけにそれは資源保護でない」ということは成り立たない fact12: もしなんらかのものが安眠しないとすればされ易くない fact13: 仮にその区画が資源保護であるがしかし安眠しないとすればあの幾何学的関係は選択し直さない fact14: 何かは選択し直すということはないとすればそれは実現し易いし更に信じ易い fact15: 仮にあの問屋組が選択し直すとするとあの幾何学的関係は選択し直す fact16: もしその大江家が北進しないけどそれが有りの侭なら信じ易い ; $hypothesis$ = あの幾何学的関係は選択し直す ; $proof$ = 
fact5 & fact1 -> int1: その大江家は北進しないけれどそれは有りの侭である; int1 & fact16 -> int2: その大江家は信じ易い; int2 & fact2 -> int3: あの基本テクは安眠する; int3 & fact3 -> int4: その区画は資源保護だ一方で安眠するということはない; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: あの問屋組は実現し易い
事実2: もし仮にその大江家が信じ易いとするとあの基本テクは安眠する
事実3: もしあの基本テクが安眠するとすればあの区画は資源保護だが安眠するということはない
事実4: もしなにかは引き出し易くないならば「それは資源保護でそれは満勤続しない」ということは成り立たない
事実5: 仮にあの問屋組が実現し易いとしたらその大江家は北進しないけどそれは有りの侭である
事実6: 「あの問屋組は安眠しないかまたは赤字続きであるかあるいは両方ともである」ということは誤りだ
事実7: もし仮に「その微風は資源保護であるけれど満勤続しない」ということは成り立たないなら選択し直さない
事実8: その微風は間違い無くないけれどそれは重々しい
事実9: 「あの基本テクは引き出し易くない一方で満勤続する」ということは成り立たないとすると安眠しない
事実10: もし「「あの問屋組は安眠しないかまたはそれは赤字続きである」ということは成り立たない」ということは確かだとするとその微風は安眠しない
事実11: もしあの基本テクは安眠しないなら「それは信じ易くておまけにそれは資源保護でない」ということは成り立たない
事実12: もしなんらかのものが安眠しないとすればされ易くない
事実13: 仮にその区画が資源保護であるがしかし安眠しないとすればあの幾何学的関係は選択し直さない
事実14: 何かは選択し直すということはないとすればそれは実現し易いし更に信じ易い
事実15: 仮にあの問屋組が選択し直すとするとあの幾何学的関係は選択し直す
事実16: もしその大江家が北進しないけどそれが有りの侭なら信じ易い

仮説: あの幾何学的関係は選択し直す
1. 事実5と事実1から、推論1: "その大江家は北進しないけれどそれは有りの侭である"が導かれる
2. 推論1と事実16から、推論2: "その大江家は信じ易い"が導かれる
3. 推論2と事実2から、推論3: "あの基本テクは安眠する"が導かれる
4. 推論3と事実3から、推論4: "その区画は資源保護だ一方で安眠するということはない"が導かれる
5. 推論4と事実13から、仮説が否定される

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