もしもあの説話集は飛灰中であるなら「その無人はＺＨでないが実用だ」ということは本当であるということはない
fact1: その無人は香ばしかない fact2: あの説話集は厳い fact3: 仮に実用はＺＨであるとするとそれは飛灰中でない fact4: 「その無人はＺＨであるしそれにそれは実用である」ということは嘘である fact5: 仮にあの説話集が飛灰中であるとするとその無人はＺＨでない一方で実用だ fact6: その無人が実用であるしそれが香ばしいならばそれは飛灰中でない fact7: その無人は規定し合わない fact8: その無人はＺＨでない一方で実用である fact9: もしあの説話集は実用でないなら「その無人はＺＨでない一方で実用だ」ということは成り立たない fact10: もし実用が香ばしいとすればそれは飛灰中でない fact11: 仮にその無人は実用で香ばしいならば「ＺＨでない」ということは成り立つ fact12: あの説話集は香ばしい fact13: 「あの説話集はＺＨだということはなくてそれは香ばしいということはない」ということは成り立たないならばあの舞台装置は香ばしかない fact14: あの樟はＺＨでない fact15: あの生息地は香ばしい fact16: もしあの説話集は実用であるということはないとすると「その無人はＺＨだしまた実用である」ということは嘘だ fact17: あの説話集が実用でないとするとその無人はＺＨでないけれど実用である fact18: あの説話集は飛灰中であるとすれば「「その無人はＺＨだし加えてそれは実用だ」ということは誤っている」ということは本当だ fact19: 「もしその無人は実用でないならば「あの説話集はＺＨであるしそれは実用だ」ということは誤りである」ということは本当だ
void -> assump1: 以下のように仮定する。「あの説話集は実用だ」ということは真実である; assump1 & fact12 -> int1: あの説話集は実用であるし香ばしい; fact10 -> int2: 「もしあの説話集が実用だしおまけに香ばしいとすればあの説話集は飛灰中でない」ということは本当である; int1 & int2 -> int3: あの説話集は飛灰中でない; void -> assump2: 以下のように仮定する。「あの説話集は飛灰中である」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの説話集は実用でない; int5 & fact9 -> int6: 「その無人はＺＨでないけれど実用だ」ということは誤っている; [assump2] & int6 -> hypothesis;
その舞台装置は飛灰中である
$facts$ = fact1: その無人は香ばしかない fact2: あの説話集は厳い fact3: 仮に実用はＺＨであるとするとそれは飛灰中でない fact4: 「その無人はＺＨであるしそれにそれは実用である」ということは嘘である fact5: 仮にあの説話集が飛灰中であるとするとその無人はＺＨでない一方で実用だ fact6: その無人が実用であるしそれが香ばしいならばそれは飛灰中でない fact7: その無人は規定し合わない fact8: その無人はＺＨでない一方で実用である fact9: もしあの説話集は実用でないなら「その無人はＺＨでない一方で実用だ」ということは成り立たない fact10: もし実用が香ばしいとすればそれは飛灰中でない fact11: 仮にその無人は実用で香ばしいならば「ＺＨでない」ということは成り立つ fact12: あの説話集は香ばしい fact13: 「あの説話集はＺＨだということはなくてそれは香ばしいということはない」ということは成り立たないならばあの舞台装置は香ばしかない fact14: あの樟はＺＨでない fact15: あの生息地は香ばしい fact16: もしあの説話集は実用であるということはないとすると「その無人はＺＨだしまた実用である」ということは嘘だ fact17: あの説話集が実用でないとするとその無人はＺＨでないけれど実用である fact18: あの説話集は飛灰中であるとすれば「「その無人はＺＨだし加えてそれは実用だ」ということは誤っている」ということは本当だ fact19: 「もしその無人は実用でないならば「あの説話集はＺＨであるしそれは実用だ」ということは誤りである」ということは本当だ ; $hypothesis$ = もしもあの説話集は飛灰中であるなら「その無人はＺＨでないが実用だ」ということは本当であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの説話集は実用だ」ということは真実である; assump1 & fact12 -> int1: あの説話集は実用であるし香ばしい; fact10 -> int2: 「もしあの説話集が実用だしおまけに香ばしいとすればあの説話集は飛灰中でない」ということは本当である; int1 & int2 -> int3: あの説話集は飛灰中でない; void -> assump2: 以下のように仮定する。「あの説話集は飛灰中である」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの説話集は実用でない; int5 & fact9 -> int6: 「その無人はＺＨでないけれど実用だ」ということは誤っている; [assump2] & int6 -> hypothesis; __PROVED__
事実1: その無人は香ばしかない
事実2: あの説話集は厳い
事実3: 仮に実用はＺＨであるとするとそれは飛灰中でない
事実4: 「その無人はＺＨであるしそれにそれは実用である」ということは嘘である
事実5: 仮にあの説話集が飛灰中であるとするとその無人はＺＨでない一方で実用だ
事実6: その無人が実用であるしそれが香ばしいならばそれは飛灰中でない
事実7: その無人は規定し合わない
事実8: その無人はＺＨでない一方で実用である
事実9: もしあの説話集は実用でないなら「その無人はＺＨでない一方で実用だ」ということは成り立たない
事実10: もし実用が香ばしいとすればそれは飛灰中でない
事実11: 仮にその無人は実用で香ばしいならば「ＺＨでない」ということは成り立つ
事実12: あの説話集は香ばしい
事実13: 「あの説話集はＺＨだということはなくてそれは香ばしいということはない」ということは成り立たないならばあの舞台装置は香ばしかない
事実14: あの樟はＺＨでない
事実15: あの生息地は香ばしい
事実16: もしあの説話集は実用であるということはないとすると「その無人はＺＨだしまた実用である」ということは嘘だ
事実17: あの説話集が実用でないとするとその無人はＺＨでないけれど実用である
事実18: あの説話集は飛灰中であるとすれば「「その無人はＺＨだし加えてそれは実用だ」ということは誤っている」ということは本当だ
事実19: 「もしその無人は実用でないならば「あの説話集はＺＨであるしそれは実用だ」ということは誤りである」ということは本当だ

仮説: もしもあの説話集は飛灰中であるなら「その無人はＺＨでないが実用だ」ということは本当であるということはない
1. 仮定1: 以下のように仮定する。「あの説話集は実用だ」ということは真実である
2. 仮定1と事実12から、推論1: "あの説話集は実用であるし香ばしい"が導かれる
3. 事実10から、推論2: "「もしあの説話集が実用だしおまけに香ばしいとすればあの説話集は飛灰中でない」ということは本当である"が導かれる
4. 推論1と推論2から、推論3: "あの説話集は飛灰中でない"が導かれる
5. 仮定2: 以下のように仮定する。「あの説話集は飛灰中である」ということは成り立つ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの説話集は実用でない"が導かれる
8. 推論5と事実9から、推論6: "「その無人はＺＨでないけれど実用だ」ということは誤っている"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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