この政治的立場は自己理解だ
fact1: この政治的立場は築き難いということはなくてそれに疚しくない fact2: あの紡織は場所移動でない fact3: 「あの紡織が築き難くないとすればあの紡織は争う」ということは真実である fact4: この政治的立場は包み込めない fact5: 「包み込めないし場所移動である」ものはある fact6: あの紡織は鑑定でない fact7: 築き難くない物は争う fact8: 何らかのものは場所移動でない fact9: 「包み込めるし場所移動でない」ものはある fact10: もしも何かは場所移動であるならば「それは自己理解だ」ということは事実だ fact11: その杭は争わない fact12: もし「なにがしかのものは包み込めないが築き難い」ということは間違いならば争う fact13: あの紡織は争わない fact14: その乗車は握り易くないがしかし逃れ難い fact15: この政治的立場が場所移動だとするとこの製造段階は戦略目標だということはないしおまけに名状し難くない fact16: もし仮に「その一相場は場所移動でないが争う」ということは成り立たないとしたらこの政治的立場は場所移動だ fact17: もし「なにがしかの物は築き難くない一方でそれは争う」ということは誤っているとするとそれは自己理解だ fact18: 「損害金でなくてそれに漏れ易くない」ものはある fact19: 「包み込めない」物はある fact20: この政治的立場は包み込めないけれど恥じ入る fact21: あの紡織は築き難い fact22: もしも「包み込めないししかも場所移動でない」物があるとしたらこの政治的立場は自己理解でない
fact12 -> int1: もし「あの紡織は包み込めないがしかし築き難い」ということは真実でないとすると争う; void -> assump1: 以下のように仮定する。「あの紡織は包み込めない一方で築き難い」ということは事実と異なる; int1 & assump1 -> int2: あの紡織は争う; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの紡織は包み込めない一方で築き難い; int4 -> int5: あの紡織は包み込めない; int5 & fact2 -> int6: あの紡織は包み込めなくてかつ場所移動でない; int6 -> int7: なにがしかの物は包み込めないし場所移動でない; int7 & fact22 -> hypothesis;
この政治的立場は自己理解である
fact23 -> int8: 「この政治的立場が場所移動ならばこの政治的立場は自己理解だ」ということは事実である;
$facts$ = fact1: この政治的立場は築き難いということはなくてそれに疚しくない fact2: あの紡織は場所移動でない fact3: 「あの紡織が築き難くないとすればあの紡織は争う」ということは真実である fact4: この政治的立場は包み込めない fact5: 「包み込めないし場所移動である」ものはある fact6: あの紡織は鑑定でない fact7: 築き難くない物は争う fact8: 何らかのものは場所移動でない fact9: 「包み込めるし場所移動でない」ものはある fact10: もしも何かは場所移動であるならば「それは自己理解だ」ということは事実だ fact11: その杭は争わない fact12: もし「なにがしかのものは包み込めないが築き難い」ということは間違いならば争う fact13: あの紡織は争わない fact14: その乗車は握り易くないがしかし逃れ難い fact15: この政治的立場が場所移動だとするとこの製造段階は戦略目標だということはないしおまけに名状し難くない fact16: もし仮に「その一相場は場所移動でないが争う」ということは成り立たないとしたらこの政治的立場は場所移動だ fact17: もし「なにがしかの物は築き難くない一方でそれは争う」ということは誤っているとするとそれは自己理解だ fact18: 「損害金でなくてそれに漏れ易くない」ものはある fact19: 「包み込めない」物はある fact20: この政治的立場は包み込めないけれど恥じ入る fact21: あの紡織は築き難い fact22: もしも「包み込めないししかも場所移動でない」物があるとしたらこの政治的立場は自己理解でない ; $hypothesis$ = この政治的立場は自己理解だ ; $proof$ = 
fact12 -> int1: もし「あの紡織は包み込めないがしかし築き難い」ということは真実でないとすると争う; void -> assump1: 以下のように仮定する。「あの紡織は包み込めない一方で築き難い」ということは事実と異なる; int1 & assump1 -> int2: あの紡織は争う; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの紡織は包み込めない一方で築き難い; int4 -> int5: あの紡織は包み込めない; int5 & fact2 -> int6: あの紡織は包み込めなくてかつ場所移動でない; int6 -> int7: なにがしかの物は包み込めないし場所移動でない; int7 & fact22 -> hypothesis; __DISPROVED__
事実1: この政治的立場は築き難いということはなくてそれに疚しくない
事実2: あの紡織は場所移動でない
事実3: 「あの紡織が築き難くないとすればあの紡織は争う」ということは真実である
事実4: この政治的立場は包み込めない
事実5: 「包み込めないし場所移動である」ものはある
事実6: あの紡織は鑑定でない
事実7: 築き難くない物は争う
事実8: 何らかのものは場所移動でない
事実9: 「包み込めるし場所移動でない」ものはある
事実10: もしも何かは場所移動であるならば「それは自己理解だ」ということは事実だ
事実11: その杭は争わない
事実12: もし「なにがしかのものは包み込めないが築き難い」ということは間違いならば争う
事実13: あの紡織は争わない
事実14: その乗車は握り易くないがしかし逃れ難い
事実15: この政治的立場が場所移動だとするとこの製造段階は戦略目標だということはないしおまけに名状し難くない
事実16: もし仮に「その一相場は場所移動でないが争う」ということは成り立たないとしたらこの政治的立場は場所移動だ
事実17: もし「なにがしかの物は築き難くない一方でそれは争う」ということは誤っているとするとそれは自己理解だ
事実18: 「損害金でなくてそれに漏れ易くない」ものはある
事実19: 「包み込めない」物はある
事実20: この政治的立場は包み込めないけれど恥じ入る
事実21: あの紡織は築き難い
事実22: もしも「包み込めないししかも場所移動でない」物があるとしたらこの政治的立場は自己理解でない

仮説: この政治的立場は自己理解だ
1. 事実12から、推論1: "もし「あの紡織は包み込めないがしかし築き難い」ということは真実でないとすると争う"が導かれる
2. 仮定1: 以下のように仮定する。「あの紡織は包み込めない一方で築き難い」ということは事実と異なる
3. 推論1と仮定1から、推論2: "あの紡織は争う"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの紡織は包み込めない一方で築き難い"が導かれる
6. 推論4から、推論5: "あの紡織は包み込めない"が導かれる
7. 推論5と事実2から、推論6: "あの紡織は包み込めなくてかつ場所移動でない"が導かれる
8. 推論6から、推論7: "なにがしかの物は包み込めないし場所移動でない"が導かれる
9. 推論7と事実22から、仮説が否定される

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