あの遺作は欲深くない
fact1: このオーケイは歌い続ける fact2: あの歯科医学は仏舎利でない fact3: 自動選択ツールは信じる fact4: 仮に何かは飲み難いとするとそれは欲深い fact5: あの歯科医学は歌い続ける fact6: 何かは主位的主張だということはないなら「それは欲深くなくてしかも自動選択ツールでない」ということは事実と異なる fact7: ある物は主位的主張だ fact8: あの移動相は自動選択ツールでない fact9: もし仮に何らかのものが主位的主張だとするとあの歯科医学は主位的主張であるかあるいはそれは自動選択ツールであるかまたはどちらもだ fact10: 仮に「「あの移動相は欲深いということはなくてまたそれは自動選択ツールでない」ということは間違っているということはない」ということは偽であるならあの遺作は欲深くない fact11: もしもあの遺作が歌い続けるとするとそれは飲み難い fact12: もしもあの歯科医学が据え置くとしたらあの遺作は歌い続ける fact13: 仮にあの歯科医学は仏舎利でないとしたら「信じる一方で据え置かない」ということは成り立たない fact14: あの歯科医学が自動選択ツールならば地盤条件だ fact15: あの遺作は据え置く fact16: 主位的主張は信じる fact17: あの移動相が主位的主張でないならあの遺作は凱旋しない
fact16 -> int1: 仮にあの歯科医学は主位的主張であるとしたら「信じる」ということは真実である; fact7 & fact9 -> int2: あの歯科医学は主位的主張であるか自動選択ツールだ; fact3 -> int3: あの歯科医学は自動選択ツールならば「信じる」ということは正しい; int1 & int2 & int3 -> int4: 「あの歯科医学は信じる」ということは成り立つ; void -> assump1: 以下のように仮定する。あの歯科医学は据え置かない; int4 & assump1 -> int5: あの歯科医学は信じるがしかし据え置かない; fact2 & fact13 -> int6: 「あの歯科医学は信じる一方で据え置かない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの歯科医学は据え置く; int8 & fact12 -> int9: あの遺作は歌い続ける; int9 & fact11 -> int10: 「あの遺作は飲み難い」ということは正しい; fact4 -> int11: もし仮にあの遺作が飲み難いとすればそれは欲深い; int10 & int11 -> hypothesis;
「「この石炭等は凱旋するけど放卵しない」ということは成り立つということはない」ということは本当だ
$facts$ = fact1: このオーケイは歌い続ける fact2: あの歯科医学は仏舎利でない fact3: 自動選択ツールは信じる fact4: 仮に何かは飲み難いとするとそれは欲深い fact5: あの歯科医学は歌い続ける fact6: 何かは主位的主張だということはないなら「それは欲深くなくてしかも自動選択ツールでない」ということは事実と異なる fact7: ある物は主位的主張だ fact8: あの移動相は自動選択ツールでない fact9: もし仮に何らかのものが主位的主張だとするとあの歯科医学は主位的主張であるかあるいはそれは自動選択ツールであるかまたはどちらもだ fact10: 仮に「「あの移動相は欲深いということはなくてまたそれは自動選択ツールでない」ということは間違っているということはない」ということは偽であるならあの遺作は欲深くない fact11: もしもあの遺作が歌い続けるとするとそれは飲み難い fact12: もしもあの歯科医学が据え置くとしたらあの遺作は歌い続ける fact13: 仮にあの歯科医学は仏舎利でないとしたら「信じる一方で据え置かない」ということは成り立たない fact14: あの歯科医学が自動選択ツールならば地盤条件だ fact15: あの遺作は据え置く fact16: 主位的主張は信じる fact17: あの移動相が主位的主張でないならあの遺作は凱旋しない ; $hypothesis$ = あの遺作は欲深くない ; $proof$ = 
fact16 -> int1: 仮にあの歯科医学は主位的主張であるとしたら「信じる」ということは真実である; fact7 & fact9 -> int2: あの歯科医学は主位的主張であるか自動選択ツールだ; fact3 -> int3: あの歯科医学は自動選択ツールならば「信じる」ということは正しい; int1 & int2 & int3 -> int4: 「あの歯科医学は信じる」ということは成り立つ; void -> assump1: 以下のように仮定する。あの歯科医学は据え置かない; int4 & assump1 -> int5: あの歯科医学は信じるがしかし据え置かない; fact2 & fact13 -> int6: 「あの歯科医学は信じる一方で据え置かない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの歯科医学は据え置く; int8 & fact12 -> int9: あの遺作は歌い続ける; int9 & fact11 -> int10: 「あの遺作は飲み難い」ということは正しい; fact4 -> int11: もし仮にあの遺作が飲み難いとすればそれは欲深い; int10 & int11 -> hypothesis; __DISPROVED__
事実1: このオーケイは歌い続ける
事実2: あの歯科医学は仏舎利でない
事実3: 自動選択ツールは信じる
事実4: 仮に何かは飲み難いとするとそれは欲深い
事実5: あの歯科医学は歌い続ける
事実6: 何かは主位的主張だということはないなら「それは欲深くなくてしかも自動選択ツールでない」ということは事実と異なる
事実7: ある物は主位的主張だ
事実8: あの移動相は自動選択ツールでない
事実9: もし仮に何らかのものが主位的主張だとするとあの歯科医学は主位的主張であるかあるいはそれは自動選択ツールであるかまたはどちらもだ
事実10: 仮に「「あの移動相は欲深いということはなくてまたそれは自動選択ツールでない」ということは間違っているということはない」ということは偽であるならあの遺作は欲深くない
事実11: もしもあの遺作が歌い続けるとするとそれは飲み難い
事実12: もしもあの歯科医学が据え置くとしたらあの遺作は歌い続ける
事実13: 仮にあの歯科医学は仏舎利でないとしたら「信じる一方で据え置かない」ということは成り立たない
事実14: あの歯科医学が自動選択ツールならば地盤条件だ
事実15: あの遺作は据え置く
事実16: 主位的主張は信じる
事実17: あの移動相が主位的主張でないならあの遺作は凱旋しない

仮説: あの遺作は欲深くない
1. 事実16から、推論1: "仮にあの歯科医学は主位的主張であるとしたら「信じる」ということは真実である"が導かれる
2. 事実7と事実9から、推論2: "あの歯科医学は主位的主張であるか自動選択ツールだ"が導かれる
3. 事実3から、推論3: "あの歯科医学は自動選択ツールならば「信じる」ということは正しい"が導かれる
4. 推論1と推論2と推論3から、推論4: "「あの歯科医学は信じる」ということは成り立つ"が導かれる
5. 仮定1: 以下のように仮定する。あの歯科医学は据え置かない
6. 推論4と仮定1から、推論5: "あの歯科医学は信じるがしかし据え置かない"が導かれる
7. 事実2と事実13から、推論6: "「あの歯科医学は信じる一方で据え置かない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの歯科医学は据え置く"が導かれる
10. 推論8と事実12から、推論9: "あの遺作は歌い続ける"が導かれる
11. 推論9と事実11から、推論10: "「あの遺作は飲み難い」ということは正しい"が導かれる
12. 事実4から、推論11: "もし仮にあの遺作が飲み難いとすればそれは欲深い"が導かれる
13. 推論10と推論11から、仮説が否定される

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