もしあのせんぼうは買い易くないならば「「この吟遊詩人は熱苦しくない一方で離る」ということは事実と異なる」ということは本当だ
fact1: もし仮にあの芸者遊びが熱苦しくないとするとこの吟遊詩人は熱苦しくないがシャーロッキアンだ fact2: この吟遊詩人は熱苦しいということはないなら「あの芸者遊びは離るしそれは物狂おしい」ということは間違いである fact3: あの芸者遊びはし易い fact4: 「もしあの芸者遊びが離るとしたらあの芸者遊びは熱苦しい」ということは正しい fact5: このＮＰＯ等は離るない fact6: もしも「あの芸者遊びはシャーロッキアンだということはないけどそれは熱苦しい」ということは誤りならあの各期はシャーロッキアンだ fact7: もし「この吟遊詩人は熱苦しい」ということは間違っているということはないならば「シャーロッキアンである」ということは本当だ fact8: あのせんぼうは熱苦しい fact9: この吟遊詩人は熱苦しくないとしたら「あの芸者遊びは買い易いしかつそれは離る」ということは成り立たない fact10: もしも「あの芸者遊びは熱苦しくない」ということは真実ならば「「この吟遊詩人は熱苦しくない一方でそれは離る」ということは確かである」ということは成り立たない fact11: あの芸者遊びが物狂おしいとするとあのせんぼうは買い易い fact12: この吟遊詩人は物狂おしい fact13: 仮にあの芸者遊びがシャーロッキアンならそれは物狂おしい fact14: 「この吟遊詩人は熱苦しいということはない一方でそれは離る」ということは真実である fact15: もし仮にあの芸者遊びは物狂おしくないとすると「あのせんぼうは物狂おしくない一方で買い易い」ということは嘘である fact16: あの芸者遊びが熱苦しいとするとそれは買い易い fact17: もしも「あの芸者遊びは熱苦しい」ということは成り立つとするとそれはシャーロッキアンだ fact18: もしあのせんぼうが物狂おしいとすればあの芸者遊びは買い易い fact19: あの芸者遊びは熱苦しくないとすると「この吟遊詩人は熱苦しいしシャーロッキアンである」ということは嘘である fact20: あのせんぼうが買い易いししかも真草だとするとあの芸者遊びは物狂おしくない
void -> assump1: 以下のように仮定する。あの芸者遊びは熱苦しい; fact17 & assump1 -> int1: あの芸者遊びはシャーロッキアンだ; int1 & fact13 -> int2: あの芸者遊びは物狂おしい; int2 & fact11 -> int3: あのせんぼうは買い易い; void -> assump2: 以下のように仮定する。あのせんぼうは買い易くない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの芸者遊びは熱苦しいということはない; int5 & fact10 -> int6: 「この吟遊詩人は熱苦しくない一方で離る」ということは偽だ; [assump2] & int6 -> hypothesis;
あの各期はシャーロッキアンである
$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: 以下のように仮定する。あの芸者遊びは熱苦しい; fact17 & assump1 -> int1: あの芸者遊びはシャーロッキアンだ; int1 & fact13 -> int2: あの芸者遊びは物狂おしい; int2 & fact11 -> int3: あのせんぼうは買い易い; void -> assump2: 以下のように仮定する。あのせんぼうは買い易くない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの芸者遊びは熱苦しいということはない; int5 & fact10 -> int6: 「この吟遊詩人は熱苦しくない一方で離る」ということは偽だ; [assump2] & int6 -> 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. 事実17と仮定1から、推論1: "あの芸者遊びはシャーロッキアンだ"が導かれる
3. 推論1と事実13から、推論2: "あの芸者遊びは物狂おしい"が導かれる
4. 推論2と事実11から、推論3: "あのせんぼうは買い易い"が導かれる
5. 仮定2: 以下のように仮定する。あのせんぼうは買い易くない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの芸者遊びは熱苦しいということはない"が導かれる
8. 推論5と事実10から、推論6: "「この吟遊詩人は熱苦しくない一方で離る」ということは偽だ"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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