「もし仮にこの周縁が最高権力者ならばあの業者達は捜索でなくて更に抜きん出ない」ということは事実と異なる
fact1: その業者達は抜きん出ない fact2: その業者達は捜索であるがしかし抜きん出ない fact3: 「「一致さない」ということは事実な」ものがあるとしたらその業者達は捜索であるが抜きん出ない fact4: 仮に「一致さない」ものがあればその業者達は捜索でないしそれは抜きん出ない fact5: もしも「この周縁は最高権力者だ」ということは確かであるとしたらその業者達は捜索だがしかしそれは抜きん出るということはない fact6: もし仮にこの周縁が最高権力者であるならその業者達は抜きん出ない fact7: 仮に「この周縁は四フレームだ」ということは事実だとすると連れる fact8: 「「一致さない」ということは成り立つということはない」物はある fact9: もし「一致さない」ものがあるとすればその業者達は抜きん出ない fact10: 「仮に開拓民達が最高権力者なら一致さない」ということは成り立つ fact11: もしもその業者達が四フレームであるとすればこの周縁は赤っぽくない fact12: とあるものが連れるとすると開拓民達である fact13: この周縁は四フレームだ
fact7 & fact13 -> int1: この周縁は連れる; fact12 -> int2: もし「この周縁は連れる」ということは事実であるとするとそれは開拓民達である; int1 & int2 -> int3: この周縁は開拓民達である; void -> assump1: 以下のように仮定する。この周縁は最高権力者だ; int3 & assump1 -> int4: この周縁は開拓民達であるし加えて最高権力者である; fact10 -> int5: もしもこの周縁は開拓民達であるし最高権力者であるならばそれは一致さない; int4 & int5 -> int6: この周縁は一致さない; int6 -> int7: 何らかの物は一致すということはない; int7 & fact4 -> int8: その業者達は捜索でないし加えてそれは抜きん出ない; [assump1] & int8 -> hypothesis;
何かは赤っぽくない
$facts$ = fact1: その業者達は抜きん出ない fact2: その業者達は捜索であるがしかし抜きん出ない fact3: 「「一致さない」ということは事実な」ものがあるとしたらその業者達は捜索であるが抜きん出ない fact4: 仮に「一致さない」ものがあればその業者達は捜索でないしそれは抜きん出ない fact5: もしも「この周縁は最高権力者だ」ということは確かであるとしたらその業者達は捜索だがしかしそれは抜きん出るということはない fact6: もし仮にこの周縁が最高権力者であるならその業者達は抜きん出ない fact7: 仮に「この周縁は四フレームだ」ということは事実だとすると連れる fact8: 「「一致さない」ということは成り立つということはない」物はある fact9: もし「一致さない」ものがあるとすればその業者達は抜きん出ない fact10: 「仮に開拓民達が最高権力者なら一致さない」ということは成り立つ fact11: もしもその業者達が四フレームであるとすればこの周縁は赤っぽくない fact12: とあるものが連れるとすると開拓民達である fact13: この周縁は四フレームだ ; $hypothesis$ = 「もし仮にこの周縁が最高権力者ならばあの業者達は捜索でなくて更に抜きん出ない」ということは事実と異なる ; $proof$ = 
fact7 & fact13 -> int1: この周縁は連れる; fact12 -> int2: もし「この周縁は連れる」ということは事実であるとするとそれは開拓民達である; int1 & int2 -> int3: この周縁は開拓民達である; void -> assump1: 以下のように仮定する。この周縁は最高権力者だ; int3 & assump1 -> int4: この周縁は開拓民達であるし加えて最高権力者である; fact10 -> int5: もしもこの周縁は開拓民達であるし最高権力者であるならばそれは一致さない; int4 & int5 -> int6: この周縁は一致さない; int6 -> int7: 何らかの物は一致すということはない; int7 & fact4 -> int8: その業者達は捜索でないし加えてそれは抜きん出ない; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: その業者達は抜きん出ない
事実2: その業者達は捜索であるがしかし抜きん出ない
事実3: 「「一致さない」ということは事実な」ものがあるとしたらその業者達は捜索であるが抜きん出ない
事実4: 仮に「一致さない」ものがあればその業者達は捜索でないしそれは抜きん出ない
事実5: もしも「この周縁は最高権力者だ」ということは確かであるとしたらその業者達は捜索だがしかしそれは抜きん出るということはない
事実6: もし仮にこの周縁が最高権力者であるならその業者達は抜きん出ない
事実7: 仮に「この周縁は四フレームだ」ということは事実だとすると連れる
事実8: 「「一致さない」ということは成り立つということはない」物はある
事実9: もし「一致さない」ものがあるとすればその業者達は抜きん出ない
事実10: 「仮に開拓民達が最高権力者なら一致さない」ということは成り立つ
事実11: もしもその業者達が四フレームであるとすればこの周縁は赤っぽくない
事実12: とあるものが連れるとすると開拓民達である
事実13: この周縁は四フレームだ

仮説: 「もし仮にこの周縁が最高権力者ならばあの業者達は捜索でなくて更に抜きん出ない」ということは事実と異なる
1. 事実7と事実13から、推論1: "この周縁は連れる"が導かれる
2. 事実12から、推論2: "もし「この周縁は連れる」ということは事実であるとするとそれは開拓民達である"が導かれる
3. 推論1と推論2から、推論3: "この周縁は開拓民達である"が導かれる
4. 仮定1: 以下のように仮定する。この周縁は最高権力者だ
5. 推論3と仮定1から、推論4: "この周縁は開拓民達であるし加えて最高権力者である"が導かれる
6. 事実10から、推論5: "もしもこの周縁は開拓民達であるし最高権力者であるならばそれは一致さない"が導かれる
7. 推論4と推論5から、推論6: "この周縁は一致さない"が導かれる
8. 推論6から、推論7: "何らかの物は一致すということはない"が導かれる
9. 推論7と事実4から、推論8: "その業者達は捜索でないし加えてそれは抜きん出ない"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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