この新記録が箇条書きだしその上それは達成し易い
fact1: 仮に「なにかは監修しないしクラックしない」ということは誤りであるならばそれは一定だ fact2: あるものは一定だ fact3: ある物は監修するなら「それはモデル化しないし更にそれは出土するということはない」ということは間違いだ fact4: この新記録はクラックする fact5: この新記録は地上天国であるかもしくは青いかもしくは両方ともだ fact6: もしなんらかの物が削げるとすればそれは地上天国でないしかつそれは出土しない fact7: 「あのＰＢは地上天国である」ということは間違っていない fact8: もし仮にこの潜在力が一定でないとするとこの新記録は監修しない一方でそれはクラックする fact9: もしこの薄日が出土するということはないかもしくはそれは地上天国であるかまたは両方ともであるとしたら達成し易くない fact10: もし仮にこの潜在力が一定ならこの薄日は出土しないかもしくはそれは地上天国であるかもしくはどちらもだ fact11: 仮に「とある物は箇条書きでなくて監修しない」ということは事実と異なるとすると「地上天国だ」ということは真実である fact12: もしなんらかのものは監修しないなら「箇条書きでおまけに達成し易い」ということは偽だ fact13: この潜在力は監修する fact14: もし仮にあのＴ型ＣＡは戻り易くないとすれば「それは恙無いということはない」ということは確かだ fact15: そのローズマリー精油は監修する fact16: もし仮にとあるものは地上天国だということはないし更に出土しないとしたら一定でない fact17: 「この潜在力は起訴出来るか街灯であるかまたは両方である」ということは真実である fact18: 「この薄日はクラックしないがそれは地上天国である」ということは成り立たない fact19: 仮にこの薄日が達成し易くないとしたらこの新記録は削げないけれど達成し易い fact20: この新記録は箇条書きだ
void -> assump1: 以下のように仮定する。「この潜在力は監修するということはなくておまけにクラックするということはない」ということは正しい; assump1 -> int1: 「この潜在力は監修しない」ということは成り立つ; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この潜在力は監修しなくてそれにクラックするということはない」ということは成り立たない; fact1 -> int4: 「この潜在力は監修するということはなくてまたクラックしない」ということは誤りならば「一定である」ということは成り立つ; int3 & int4 -> int5: この潜在力は一定である; int5 & fact10 -> int6: この薄日は出土するということはないかそれは地上天国である; int6 & fact9 -> int7: この薄日は達成し易くない; int7 & fact19 -> int8: この新記録は削げないけれど達成し易い; int8 -> int9: この新記録は達成し易い; int9 & fact20 -> hypothesis;
「この新記録は箇条書きであるしさらに達成し易い」ということは誤りだ
fact21 -> int10: もしも「この新記録は監修しない」ということは成り立つなら「「それは箇条書きであるししかも達成し易い」ということは成り立つ」ということは成り立たない; fact23 -> int11: 仮にこの潜在力は地上天国でないし加えて出土するということはないとしたらそれは一定でない; fact24 -> int12: この潜在力が削げるならそれは地上天国でなくて出土しない;
$facts$ = fact1: 仮に「なにかは監修しないしクラックしない」ということは誤りであるならばそれは一定だ fact2: あるものは一定だ fact3: ある物は監修するなら「それはモデル化しないし更にそれは出土するということはない」ということは間違いだ fact4: この新記録はクラックする fact5: この新記録は地上天国であるかもしくは青いかもしくは両方ともだ fact6: もしなんらかの物が削げるとすればそれは地上天国でないしかつそれは出土しない fact7: 「あのＰＢは地上天国である」ということは間違っていない fact8: もし仮にこの潜在力が一定でないとするとこの新記録は監修しない一方でそれはクラックする fact9: もしこの薄日が出土するということはないかもしくはそれは地上天国であるかまたは両方ともであるとしたら達成し易くない fact10: もし仮にこの潜在力が一定ならこの薄日は出土しないかもしくはそれは地上天国であるかもしくはどちらもだ fact11: 仮に「とある物は箇条書きでなくて監修しない」ということは事実と異なるとすると「地上天国だ」ということは真実である fact12: もしなんらかのものは監修しないなら「箇条書きでおまけに達成し易い」ということは偽だ fact13: この潜在力は監修する fact14: もし仮にあのＴ型ＣＡは戻り易くないとすれば「それは恙無いということはない」ということは確かだ fact15: そのローズマリー精油は監修する fact16: もし仮にとあるものは地上天国だということはないし更に出土しないとしたら一定でない fact17: 「この潜在力は起訴出来るか街灯であるかまたは両方である」ということは真実である fact18: 「この薄日はクラックしないがそれは地上天国である」ということは成り立たない fact19: 仮にこの薄日が達成し易くないとしたらこの新記録は削げないけれど達成し易い fact20: この新記録は箇条書きだ ; $hypothesis$ = この新記録が箇条書きだしその上それは達成し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この潜在力は監修するということはなくておまけにクラックするということはない」ということは正しい; assump1 -> int1: 「この潜在力は監修しない」ということは成り立つ; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この潜在力は監修しなくてそれにクラックするということはない」ということは成り立たない; fact1 -> int4: 「この潜在力は監修するということはなくてまたクラックしない」ということは誤りならば「一定である」ということは成り立つ; int3 & int4 -> int5: この潜在力は一定である; int5 & fact10 -> int6: この薄日は出土するということはないかそれは地上天国である; int6 & fact9 -> int7: この薄日は達成し易くない; int7 & fact19 -> int8: この新記録は削げないけれど達成し易い; int8 -> int9: この新記録は達成し易い; int9 & fact20 -> hypothesis; __PROVED__
事実1: 仮に「なにかは監修しないしクラックしない」ということは誤りであるならばそれは一定だ
事実2: あるものは一定だ
事実3: ある物は監修するなら「それはモデル化しないし更にそれは出土するということはない」ということは間違いだ
事実4: この新記録はクラックする
事実5: この新記録は地上天国であるかもしくは青いかもしくは両方ともだ
事実6: もしなんらかの物が削げるとすればそれは地上天国でないしかつそれは出土しない
事実7: 「あのＰＢは地上天国である」ということは間違っていない
事実8: もし仮にこの潜在力が一定でないとするとこの新記録は監修しない一方でそれはクラックする
事実9: もしこの薄日が出土するということはないかもしくはそれは地上天国であるかまたは両方ともであるとしたら達成し易くない
事実10: もし仮にこの潜在力が一定ならこの薄日は出土しないかもしくはそれは地上天国であるかもしくはどちらもだ
事実11: 仮に「とある物は箇条書きでなくて監修しない」ということは事実と異なるとすると「地上天国だ」ということは真実である
事実12: もしなんらかのものは監修しないなら「箇条書きでおまけに達成し易い」ということは偽だ
事実13: この潜在力は監修する
事実14: もし仮にあのＴ型ＣＡは戻り易くないとすれば「それは恙無いということはない」ということは確かだ
事実15: そのローズマリー精油は監修する
事実16: もし仮にとあるものは地上天国だということはないし更に出土しないとしたら一定でない
事実17: 「この潜在力は起訴出来るか街灯であるかまたは両方である」ということは真実である
事実18: 「この薄日はクラックしないがそれは地上天国である」ということは成り立たない
事実19: 仮にこの薄日が達成し易くないとしたらこの新記録は削げないけれど達成し易い
事実20: この新記録は箇条書きだ

仮説: この新記録が箇条書きだしその上それは達成し易い
1. 仮定1: 以下のように仮定する。「この潜在力は監修するということはなくておまけにクラックするということはない」ということは正しい
2. 仮定1から、推論1: "「この潜在力は監修しない」ということは成り立つ"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この潜在力は監修しなくてそれにクラックするということはない」ということは成り立たない"が導かれる
5. 事実1から、推論4: "「この潜在力は監修するということはなくてまたクラックしない」ということは誤りならば「一定である」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "この潜在力は一定である"が導かれる
7. 推論5と事実10から、推論6: "この薄日は出土するということはないかそれは地上天国である"が導かれる
8. 推論6と事実9から、推論7: "この薄日は達成し易くない"が導かれる
9. 推論7と事実19から、推論8: "この新記録は削げないけれど達成し易い"が導かれる
10. 推論8から、推論9: "この新記録は達成し易い"が導かれる
11. 推論9と事実20から、仮説が導かれる

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