そのパーマは取っ付き易くない
fact1: 仮にとあるものが狭苦しいとすればそれは極まりない fact2: あの連絡帳はテーマ設定である fact3: 茶色っぽくないものは極まりないし取っ付き易い fact4: この自己受容が起動出来ないならあの連絡帳は茶色っぽいということはないか極まりないかあるいは両方である fact5: この自己受容は茶色っぽくない fact6: 「とあるものは取っ付き易くないけれど茶色っぽい」ということは事実と異なるとすればそれは取っ付き易い fact7: 「この自己受容はみみっちくないかあるいはがめつかないかもしくは両方である」ということは偽だ fact8: あのブロックは科学化である fact9: あのブロックは梯子する fact10: 仮になにかは科学化だとするとそのパーマは狭苦しいかそれは竜年であるかあるいは両方ともだ fact11: そのパーマが取っ付き易いとするとこの自己受容はテーマ設定である fact12: もしもその組織傷害が茶色っぽいということはないとすると成され易い fact13: 竜年が科学化であるとすればあの連絡帳は狭苦しくない fact14: あの連絡帳は起動出来ないかあるいはそれは茶色っぽいかもしくはどちらもである fact15: もしも「なにがしかのものは茶色っぽくないか極まりないかあるいはどちらもだ」ということは正しいなら狭苦しい fact16: 「この自己受容はみみっちいということはないかがめつかないかもしくは両方だ」ということは偽だとするとそれは梯子する fact17: もしもあのブロックが竜年でないかまたはそれは梯子するかどちらもであるとしたら茶色っぽい fact18: そのパーマは科学化だ fact19: あのブロックは竜年でそれは梯子する fact20: もしもあのブロックがテーマ設定でないとしたらこの自己受容は梯子しないかもしくは科学化であるか両方だ fact21: もし仮にそのパーマが取っ付き易いとするとこの自己受容はテーマ設定だが起動出来ない fact22: もしも何かは極まりないとすると「それは取っ付き易くないがしかし茶色っぽい」ということは成り立つということはない
void -> assump1: 以下のように仮定する。そのパーマは取っ付き易い; fact21 & assump1 -> int1: この自己受容はテーマ設定だけれどそれは起動出来ない; int1 -> int2: この自己受容は起動出来ない; int2 & fact4 -> int3: あの連絡帳は茶色っぽくないかもしくは極まりないかあるいは両方である; fact15 -> int4: 仮にあの連絡帳が茶色っぽいということはないかまたはそれが極まりないならばそれは狭苦しい; int3 & int4 -> int5: あの連絡帳は狭苦しい; fact19 -> int6: あのブロックは竜年である; int6 & fact8 -> int7: あのブロックは竜年だし科学化である; int7 -> int8: 「なにかは竜年で科学化である」ということは成り立つ; int8 & fact13 -> int9: あの連絡帳は狭苦しいということはない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あのブロックは極まりない
fact23 -> int11: 仮にあのブロックが茶色っぽくないならそれは極まりなくてそれにそれは取っ付き易い;
$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$ = 
void -> assump1: 以下のように仮定する。そのパーマは取っ付き易い; fact21 & assump1 -> int1: この自己受容はテーマ設定だけれどそれは起動出来ない; int1 -> int2: この自己受容は起動出来ない; int2 & fact4 -> int3: あの連絡帳は茶色っぽくないかもしくは極まりないかあるいは両方である; fact15 -> int4: 仮にあの連絡帳が茶色っぽいということはないかまたはそれが極まりないならばそれは狭苦しい; int3 & int4 -> int5: あの連絡帳は狭苦しい; fact19 -> int6: あのブロックは竜年である; int6 & fact8 -> int7: あのブロックは竜年だし科学化である; int7 -> int8: 「なにかは竜年で科学化である」ということは成り立つ; int8 & fact13 -> int9: あの連絡帳は狭苦しいということはない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: 仮にとあるものが狭苦しいとすればそれは極まりない
事実2: あの連絡帳はテーマ設定である
事実3: 茶色っぽくないものは極まりないし取っ付き易い
事実4: この自己受容が起動出来ないならあの連絡帳は茶色っぽいということはないか極まりないかあるいは両方である
事実5: この自己受容は茶色っぽくない
事実6: 「とあるものは取っ付き易くないけれど茶色っぽい」ということは事実と異なるとすればそれは取っ付き易い
事実7: 「この自己受容はみみっちくないかあるいはがめつかないかもしくは両方である」ということは偽だ
事実8: あのブロックは科学化である
事実9: あのブロックは梯子する
事実10: 仮になにかは科学化だとするとそのパーマは狭苦しいかそれは竜年であるかあるいは両方ともだ
事実11: そのパーマが取っ付き易いとするとこの自己受容はテーマ設定である
事実12: もしもその組織傷害が茶色っぽいということはないとすると成され易い
事実13: 竜年が科学化であるとすればあの連絡帳は狭苦しくない
事実14: あの連絡帳は起動出来ないかあるいはそれは茶色っぽいかもしくはどちらもである
事実15: もしも「なにがしかのものは茶色っぽくないか極まりないかあるいはどちらもだ」ということは正しいなら狭苦しい
事実16: 「この自己受容はみみっちいということはないかがめつかないかもしくは両方だ」ということは偽だとするとそれは梯子する
事実17: もしもあのブロックが竜年でないかまたはそれは梯子するかどちらもであるとしたら茶色っぽい
事実18: そのパーマは科学化だ
事実19: あのブロックは竜年でそれは梯子する
事実20: もしもあのブロックがテーマ設定でないとしたらこの自己受容は梯子しないかもしくは科学化であるか両方だ
事実21: もし仮にそのパーマが取っ付き易いとするとこの自己受容はテーマ設定だが起動出来ない
事実22: もしも何かは極まりないとすると「それは取っ付き易くないがしかし茶色っぽい」ということは成り立つということはない

仮説: そのパーマは取っ付き易くない
1. 仮定1: 以下のように仮定する。そのパーマは取っ付き易い
2. 事実21と仮定1から、推論1: "この自己受容はテーマ設定だけれどそれは起動出来ない"が導かれる
3. 推論1から、推論2: "この自己受容は起動出来ない"が導かれる
4. 推論2と事実4から、推論3: "あの連絡帳は茶色っぽくないかもしくは極まりないかあるいは両方である"が導かれる
5. 事実15から、推論4: "仮にあの連絡帳が茶色っぽいということはないかまたはそれが極まりないならばそれは狭苦しい"が導かれる
6. 推論3と推論4から、推論5: "あの連絡帳は狭苦しい"が導かれる
7. 事実19から、推論6: "あのブロックは竜年である"が導かれる
8. 推論6と事実8から、推論7: "あのブロックは竜年だし科学化である"が導かれる
9. 推論7から、推論8: "「なにかは竜年で科学化である」ということは成り立つ"が導かれる
10. 推論8と事実13から、推論9: "あの連絡帳は狭苦しいということはない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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