「この山回りは切り揃えない」ということは偽でない
fact1: もし「なにかは夕焼け空だけど由々しない」ということは真実でないとすると心憎くない fact2: この専制的土地制度は納得し難くない fact3: もし仮にこの朝鮮問題が心憎いかもしくは由々しないならばこの山回りは心憎い fact4: もしこの山回りが姉妹編でないならばそれは図り難いしかつそれは使い易い fact5: この専制的土地制度は使い易いかそれは由々しないかまたは両方ともである fact6: このパーマーストンは由々しか使い易くない fact7: もし仮にこの山回りが切り揃えるしかつ由々しとしたらこのパーマーストンは使い易くない fact8: もしこの専制的土地制度が使い易いかあるいは姉妹編でないかあるいはどちらもであるならこのパーマーストンは使い易い fact9: この専制的土地制度は使い易いかまたは姉妹編であるかあるいは両方だ fact10: この専制的土地制度は焼き難いし選別出来る fact11: この山回りは心憎くない fact12: もし何らかのものが心憎いか夕焼け空でないかもしくは両方ともであるとするとこの山回りは由々し fact13: この朝鮮問題は心憎いかあるいは夕焼け空でない fact14: 「仮にこの山回りは使い易くないなら「このパーマーストンは由々し」ということは事実だ」ということは真実である fact15: 仮にとあるものは使い易いとすれば「それは夕焼け空だけど由々しない」ということは真実でない fact16: もし何かは夕焼け空でないとしたらこの朝鮮問題は姉妹編だ fact17: この専制的土地制度は使い易いかまたは姉妹編でないかどちらもだ
fact13 -> int1: なにがしかのものは心憎いかまたは夕焼け空でないかもしくは両方ともである; int1 & fact12 -> int2: この山回りは由々し; void -> assump1: 以下のように仮定する。この山回りは切り揃える; int2 & assump1 -> int3: この山回りは切り揃えるし由々し; int3 & fact7 -> int4: このパーマーストンは使い易くない; fact8 & fact17 -> int5: このパーマーストンは使い易い; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「この山回りは切り揃える」ということは成り立つ
fact19 -> int7: もし仮に「この山回りは夕焼け空であるがしかし由々しない」ということは誤っているとすれば心憎くない; fact20 -> int8: 仮にこの山回りは使い易いとすると「それは夕焼け空だが由々しない」ということは間違っている;
$facts$ = fact1: もし「なにかは夕焼け空だけど由々しない」ということは真実でないとすると心憎くない fact2: この専制的土地制度は納得し難くない fact3: もし仮にこの朝鮮問題が心憎いかもしくは由々しないならばこの山回りは心憎い fact4: もしこの山回りが姉妹編でないならばそれは図り難いしかつそれは使い易い fact5: この専制的土地制度は使い易いかそれは由々しないかまたは両方ともである fact6: このパーマーストンは由々しか使い易くない fact7: もし仮にこの山回りが切り揃えるしかつ由々しとしたらこのパーマーストンは使い易くない fact8: もしこの専制的土地制度が使い易いかあるいは姉妹編でないかあるいはどちらもであるならこのパーマーストンは使い易い fact9: この専制的土地制度は使い易いかまたは姉妹編であるかあるいは両方だ fact10: この専制的土地制度は焼き難いし選別出来る fact11: この山回りは心憎くない fact12: もし何らかのものが心憎いか夕焼け空でないかもしくは両方ともであるとするとこの山回りは由々し fact13: この朝鮮問題は心憎いかあるいは夕焼け空でない fact14: 「仮にこの山回りは使い易くないなら「このパーマーストンは由々し」ということは事実だ」ということは真実である fact15: 仮にとあるものは使い易いとすれば「それは夕焼け空だけど由々しない」ということは真実でない fact16: もし何かは夕焼け空でないとしたらこの朝鮮問題は姉妹編だ fact17: この専制的土地制度は使い易いかまたは姉妹編でないかどちらもだ ; $hypothesis$ = 「この山回りは切り揃えない」ということは偽でない ; $proof$ = 
fact13 -> int1: なにがしかのものは心憎いかまたは夕焼け空でないかもしくは両方ともである; int1 & fact12 -> int2: この山回りは由々し; void -> assump1: 以下のように仮定する。この山回りは切り揃える; int2 & assump1 -> int3: この山回りは切り揃えるし由々し; int3 & fact7 -> int4: このパーマーストンは使い易くない; fact8 & fact17 -> int5: このパーマーストンは使い易い; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし「なにかは夕焼け空だけど由々しない」ということは真実でないとすると心憎くない
事実2: この専制的土地制度は納得し難くない
事実3: もし仮にこの朝鮮問題が心憎いかもしくは由々しないならばこの山回りは心憎い
事実4: もしこの山回りが姉妹編でないならばそれは図り難いしかつそれは使い易い
事実5: この専制的土地制度は使い易いかそれは由々しないかまたは両方ともである
事実6: このパーマーストンは由々しか使い易くない
事実7: もし仮にこの山回りが切り揃えるしかつ由々しとしたらこのパーマーストンは使い易くない
事実8: もしこの専制的土地制度が使い易いかあるいは姉妹編でないかあるいはどちらもであるならこのパーマーストンは使い易い
事実9: この専制的土地制度は使い易いかまたは姉妹編であるかあるいは両方だ
事実10: この専制的土地制度は焼き難いし選別出来る
事実11: この山回りは心憎くない
事実12: もし何らかのものが心憎いか夕焼け空でないかもしくは両方ともであるとするとこの山回りは由々し
事実13: この朝鮮問題は心憎いかあるいは夕焼け空でない
事実14: 「仮にこの山回りは使い易くないなら「このパーマーストンは由々し」ということは事実だ」ということは真実である
事実15: 仮にとあるものは使い易いとすれば「それは夕焼け空だけど由々しない」ということは真実でない
事実16: もし何かは夕焼け空でないとしたらこの朝鮮問題は姉妹編だ
事実17: この専制的土地制度は使い易いかまたは姉妹編でないかどちらもだ

仮説: 「この山回りは切り揃えない」ということは偽でない
1. 事実13から、推論1: "なにがしかのものは心憎いかまたは夕焼け空でないかもしくは両方ともである"が導かれる
2. 推論1と事実12から、推論2: "この山回りは由々し"が導かれる
3. 仮定1: 以下のように仮定する。この山回りは切り揃える
4. 推論2と仮定1から、推論3: "この山回りは切り揃えるし由々し"が導かれる
5. 推論3と事実7から、推論4: "このパーマーストンは使い易くない"が導かれる
6. 事実8と事実17から、推論5: "このパーマーストンは使い易い"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

よって、仮説が証明されました。