そのディーアークは擁する
fact1: あの敵戦車は擁しない fact2: もしそのディーアークは心細くないとしたら「三十冊でない」ということは成り立つ fact3: あの漢字文化圏は心細いということはない fact4: そのディーアークは結婚出来る fact5: もしそのディーアークが手広いなら与え易い fact6: 「その王墓は描き続けない一方で心細い」ということは確かである fact7: そのディーアークは読み直す fact8: その引き渡し請求は結婚出来ない fact9: そのディーアークは起動出来ないし狙われ易くない fact10: そのディーアークは狙われ易いということはない fact11: そのディーアークは勘違いし易くない一方でひょろ長い fact12: 仮にそのディーアークが心細くないとしたらそれは狙われ易いということはないしそれにそれは擁しない fact13: そのディーアークは御揺るということはない fact14: もし仮にそのディーアークが心細いならばそれは結婚出来ないが不買運動だ fact15: 仮にあの物流拠点は五郎だとすると「それは結婚出来る」ということは真実だ fact16: 仮にそのディーアークが引っぱたけば勘違いし易くないがしかし擁する fact17: あの保全調整池は結婚出来る fact18: その臆病者は結婚出来る fact19: もし仮にとある物が纏め買いするとすればひょろ長くないしまたミッションだ fact20: もしもあるものは与し易くないとすれば「それは狙われ易いということはないけれど心細い」ということは確かでない fact21: もし仮にそのディーアークは不買運動であるならばそれはタルラン家でない一方で描き続ける
void -> assump1: 以下のように仮定する。そのディーアークは心細い; fact14 & assump1 -> int1: そのディーアークは結婚出来ないがしかしそれは不買運動だ; int1 -> int2: そのディーアークは結婚出来ない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのディーアークは心細くない; int4 & fact12 -> int5: そのディーアークは狙われ易くないし擁するということはない; int5 -> hypothesis;
「そのディーアークは擁しない」ということは事実と異なる
fact22 -> int6: 仮に「そのディーアークは与し易くない」ということは誤っているということはないならば「それは狙われ易くない一方で心細い」ということは間違っている;
$facts$ = fact1: あの敵戦車は擁しない fact2: もしそのディーアークは心細くないとしたら「三十冊でない」ということは成り立つ fact3: あの漢字文化圏は心細いということはない fact4: そのディーアークは結婚出来る fact5: もしそのディーアークが手広いなら与え易い fact6: 「その王墓は描き続けない一方で心細い」ということは確かである fact7: そのディーアークは読み直す fact8: その引き渡し請求は結婚出来ない fact9: そのディーアークは起動出来ないし狙われ易くない fact10: そのディーアークは狙われ易いということはない fact11: そのディーアークは勘違いし易くない一方でひょろ長い fact12: 仮にそのディーアークが心細くないとしたらそれは狙われ易いということはないしそれにそれは擁しない fact13: そのディーアークは御揺るということはない fact14: もし仮にそのディーアークが心細いならばそれは結婚出来ないが不買運動だ fact15: 仮にあの物流拠点は五郎だとすると「それは結婚出来る」ということは真実だ fact16: 仮にそのディーアークが引っぱたけば勘違いし易くないがしかし擁する fact17: あの保全調整池は結婚出来る fact18: その臆病者は結婚出来る fact19: もし仮にとある物が纏め買いするとすればひょろ長くないしまたミッションだ fact20: もしもあるものは与し易くないとすれば「それは狙われ易いということはないけれど心細い」ということは確かでない fact21: もし仮にそのディーアークは不買運動であるならばそれはタルラン家でない一方で描き続ける ; $hypothesis$ = そのディーアークは擁する ; $proof$ = 
void -> assump1: 以下のように仮定する。そのディーアークは心細い; fact14 & assump1 -> int1: そのディーアークは結婚出来ないがしかしそれは不買運動だ; int1 -> int2: そのディーアークは結婚出来ない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのディーアークは心細くない; int4 & fact12 -> int5: そのディーアークは狙われ易くないし擁するということはない; int5 -> hypothesis; __DISPROVED__
事実1: あの敵戦車は擁しない
事実2: もしそのディーアークは心細くないとしたら「三十冊でない」ということは成り立つ
事実3: あの漢字文化圏は心細いということはない
事実4: そのディーアークは結婚出来る
事実5: もしそのディーアークが手広いなら与え易い
事実6: 「その王墓は描き続けない一方で心細い」ということは確かである
事実7: そのディーアークは読み直す
事実8: その引き渡し請求は結婚出来ない
事実9: そのディーアークは起動出来ないし狙われ易くない
事実10: そのディーアークは狙われ易いということはない
事実11: そのディーアークは勘違いし易くない一方でひょろ長い
事実12: 仮にそのディーアークが心細くないとしたらそれは狙われ易いということはないしそれにそれは擁しない
事実13: そのディーアークは御揺るということはない
事実14: もし仮にそのディーアークが心細いならばそれは結婚出来ないが不買運動だ
事実15: 仮にあの物流拠点は五郎だとすると「それは結婚出来る」ということは真実だ
事実16: 仮にそのディーアークが引っぱたけば勘違いし易くないがしかし擁する
事実17: あの保全調整池は結婚出来る
事実18: その臆病者は結婚出来る
事実19: もし仮にとある物が纏め買いするとすればひょろ長くないしまたミッションだ
事実20: もしもあるものは与し易くないとすれば「それは狙われ易いということはないけれど心細い」ということは確かでない
事実21: もし仮にそのディーアークは不買運動であるならばそれはタルラン家でない一方で描き続ける

仮説: そのディーアークは擁する
1. 仮定1: 以下のように仮定する。そのディーアークは心細い
2. 事実14と仮定1から、推論1: "そのディーアークは結婚出来ないがしかしそれは不買運動だ"が導かれる
3. 推論1から、推論2: "そのディーアークは結婚出来ない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのディーアークは心細くない"が導かれる
6. 推論4と事実12から、推論5: "そのディーアークは狙われ易くないし擁するということはない"が導かれる
7. 推論5から、仮説が否定される

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