もしその青草が春らしくないならその全体傾向は仄白い
fact1: もしその諸原則が仄白くないとするとその全体傾向は仮殿だしそれに郵貯だ fact2: もしもその諸原則が郵貯であるということはないとするとその全体傾向は仮殿であるししかも仄白い fact3: もしもその青草が春らしいとするとその全体傾向は仄白い fact4: 「郵貯な」物はある fact5: もしもその全体傾向が仄白いとすればその諸原則は仮殿であるしさらに郵貯である fact6: その諸原則は仄白くてそれは郵貯だ fact7: その全体傾向は通し始めるということはない fact8: その全体傾向は春らしくない fact9: 「仮殿な」物はある fact10: もしその諸原則が仄白いということはないとするとその全体傾向は仮殿だしさらに春らしい fact11: その諸原則は郵貯である fact12: 何らかのものは郵貯であるし仄白い fact13: その青草は仄白いということはない fact14: もし「その全体傾向は仄白くない」ということは本当であるとするとその諸原則は郵貯である fact15: 「その諸原則は春らしい」ということは真実だ fact16: もし仮にその全体傾向が仄白いということはないならばその諸原則は仮殿であるしかつ郵貯だ fact17: もしその青草が仮殿だということはないならばその全体傾向は春らしいしまた仄白い fact18: その立ち足は仄白くない fact19: その全体傾向は仮殿でない fact20: その全体傾向は郵貯でない fact21: 仮殿が郵貯だとしたらその青草は春らしい
void -> assump2: 以下のように仮定する。その全体傾向は仄白くない; fact16 & assump2 -> int1: その諸原則は仮殿であるし郵貯である; int1 -> int2: なんらかのものは仮殿であるししかも郵貯である; int2 & fact21 -> int3: その青草は春らしい; void -> assump1: 以下のように仮定する。その青草は春らしくない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その全体傾向は仄白い; [assump1] & int5 -> hypothesis;
$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 -> assump2: 以下のように仮定する。その全体傾向は仄白くない; fact16 & assump2 -> int1: その諸原則は仮殿であるし郵貯である; int1 -> int2: なんらかのものは仮殿であるししかも郵貯である; int2 & fact21 -> int3: その青草は春らしい; void -> assump1: 以下のように仮定する。その青草は春らしくない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: その全体傾向は仄白い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしその諸原則が仄白くないとするとその全体傾向は仮殿だしそれに郵貯だ
事実2: もしもその諸原則が郵貯であるということはないとするとその全体傾向は仮殿であるししかも仄白い
事実3: もしもその青草が春らしいとするとその全体傾向は仄白い
事実4: 「郵貯な」物はある
事実5: もしもその全体傾向が仄白いとすればその諸原則は仮殿であるしさらに郵貯である
事実6: その諸原則は仄白くてそれは郵貯だ
事実7: その全体傾向は通し始めるということはない
事実8: その全体傾向は春らしくない
事実9: 「仮殿な」物はある
事実10: もしその諸原則が仄白いということはないとするとその全体傾向は仮殿だしさらに春らしい
事実11: その諸原則は郵貯である
事実12: 何らかのものは郵貯であるし仄白い
事実13: その青草は仄白いということはない
事実14: もし「その全体傾向は仄白くない」ということは本当であるとするとその諸原則は郵貯である
事実15: 「その諸原則は春らしい」ということは真実だ
事実16: もし仮にその全体傾向が仄白いということはないならばその諸原則は仮殿であるしかつ郵貯だ
事実17: もしその青草が仮殿だということはないならばその全体傾向は春らしいしまた仄白い
事実18: その立ち足は仄白くない
事実19: その全体傾向は仮殿でない
事実20: その全体傾向は郵貯でない
事実21: 仮殿が郵貯だとしたらその青草は春らしい

仮説: もしその青草が春らしくないならその全体傾向は仄白い
1. 仮定2: 以下のように仮定する。その全体傾向は仄白くない
2. 事実16と仮定2から、推論1: "その諸原則は仮殿であるし郵貯である"が導かれる
3. 推論1から、推論2: "なんらかのものは仮殿であるししかも郵貯である"が導かれる
4. 推論2と事実21から、推論3: "その青草は春らしい"が導かれる
5. 仮定1: 以下のように仮定する。その青草は春らしくない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "その全体傾向は仄白い"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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