「もし仮にあの歴史像が作り直さないならあの胎齢は出張る」ということは真実でない
fact1: その醤油番茶は嗅ぎ分ける fact2: もし仮にあの歴史像が作り直すし寛永寺だとすればこの七日生まれは礼儀正しい fact3: もしも「あの歴史像は作り直す」ということは事実と異ならないとしたらそれは寛永寺でなくてその上それは変わり易い fact4: もしもあの歴史像が作り直さない一方で寛永寺だとすればこの七日生まれは礼儀正しい fact5: もしもあの二酸化硫黄が変わり易いが寛永寺でないならあの胎齢は出張る fact6: この七日生まれは妖術だ fact7: もし仮にあの二酸化硫黄が変わり易いということはなくておまけにそれが寛永寺であるということはないとするとあの胎齢は出張る fact8: この七日生まれはアミロイドーシスである fact9: あの胎齢は順応し易い fact10: もしこの七日生まれが嗅ぎ分けるなら順応し易くないしそれは妖術である fact11: もし仮にあの歴史像が作り直すならあの胎齢は出張る fact12: あの歴史像は出張らない fact13: 礼儀正しいということはないものは出張らない一方で作り直す fact14: もしあの二酸化硫黄が作り直さないけど順応し易いならばあの歴史像は変わり易い fact15: 礼儀正しいものは順応し易い fact16: もしあの歴史像が寛永寺でないとするとあの二酸化硫黄は変わり易くない fact17: あの二酸化硫黄は変わり易くない fact18: この七日生まれは寛永寺でないがしかし五セント硬貨である fact19: もしこの七日生まれは嗅ぎ分けるなら「妖術である」ということは真実だ fact20: この七日生まれは嗅ぎ分ける fact21: あの歴史像は妖術であるということはない fact22: もしあの歴史像が寛永寺でないならあの二酸化硫黄は変わり易くないし寛永寺でない fact23: あの胎齢は嗅ぎ分けない
void -> assump1: 以下のように仮定する。あの歴史像は作り直すということはない; void -> assump2: 以下のように仮定する。「あの歴史像は寛永寺である」ということは成り立つ; assump1 & assump2 -> int1: あの歴史像は作り直すということはないけどそれは寛永寺である; int1 & fact4 -> int2: この七日生まれは礼儀正しい; fact15 -> int3: もし仮にこの七日生まれが礼儀正しいならばそれは順応し易い; int2 & int3 -> int4: この七日生まれは順応し易い; fact20 & fact10 -> int5: この七日生まれは順応し易いということはないけど妖術である; int5 -> int6: この七日生まれは順応し易くない; int4 & int6 -> int7: これは矛盾である; [assump2] & int7 -> int8: 「あの歴史像は寛永寺でない」ということは事実である; int8 & fact22 -> int9: あの二酸化硫黄は変わり易くない物でかつ寛永寺でない; int9 & fact7 -> int10: あの胎齢は出張る; [assump1] & int10 -> hypothesis;
この七日生まれは出張らないけれど引き上げる
fact24 -> int11: 仮にこの七日生まれが礼儀正しくないとすると出張るということはないが作り直す;
$facts$ = fact1: その醤油番茶は嗅ぎ分ける fact2: もし仮にあの歴史像が作り直すし寛永寺だとすればこの七日生まれは礼儀正しい fact3: もしも「あの歴史像は作り直す」ということは事実と異ならないとしたらそれは寛永寺でなくてその上それは変わり易い fact4: もしもあの歴史像が作り直さない一方で寛永寺だとすればこの七日生まれは礼儀正しい fact5: もしもあの二酸化硫黄が変わり易いが寛永寺でないならあの胎齢は出張る fact6: この七日生まれは妖術だ fact7: もし仮にあの二酸化硫黄が変わり易いということはなくておまけにそれが寛永寺であるということはないとするとあの胎齢は出張る fact8: この七日生まれはアミロイドーシスである fact9: あの胎齢は順応し易い fact10: もしこの七日生まれが嗅ぎ分けるなら順応し易くないしそれは妖術である fact11: もし仮にあの歴史像が作り直すならあの胎齢は出張る fact12: あの歴史像は出張らない fact13: 礼儀正しいということはないものは出張らない一方で作り直す fact14: もしあの二酸化硫黄が作り直さないけど順応し易いならばあの歴史像は変わり易い fact15: 礼儀正しいものは順応し易い fact16: もしあの歴史像が寛永寺でないとするとあの二酸化硫黄は変わり易くない fact17: あの二酸化硫黄は変わり易くない fact18: この七日生まれは寛永寺でないがしかし五セント硬貨である fact19: もしこの七日生まれは嗅ぎ分けるなら「妖術である」ということは真実だ fact20: この七日生まれは嗅ぎ分ける fact21: あの歴史像は妖術であるということはない fact22: もしあの歴史像が寛永寺でないならあの二酸化硫黄は変わり易くないし寛永寺でない fact23: あの胎齢は嗅ぎ分けない ; $hypothesis$ = 「もし仮にあの歴史像が作り直さないならあの胎齢は出張る」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの歴史像は作り直すということはない; void -> assump2: 以下のように仮定する。「あの歴史像は寛永寺である」ということは成り立つ; assump1 & assump2 -> int1: あの歴史像は作り直すということはないけどそれは寛永寺である; int1 & fact4 -> int2: この七日生まれは礼儀正しい; fact15 -> int3: もし仮にこの七日生まれが礼儀正しいならばそれは順応し易い; int2 & int3 -> int4: この七日生まれは順応し易い; fact20 & fact10 -> int5: この七日生まれは順応し易いということはないけど妖術である; int5 -> int6: この七日生まれは順応し易くない; int4 & int6 -> int7: これは矛盾である; [assump2] & int7 -> int8: 「あの歴史像は寛永寺でない」ということは事実である; int8 & fact22 -> int9: あの二酸化硫黄は変わり易くない物でかつ寛永寺でない; int9 & fact7 -> int10: あの胎齢は出張る; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: その醤油番茶は嗅ぎ分ける
事実2: もし仮にあの歴史像が作り直すし寛永寺だとすればこの七日生まれは礼儀正しい
事実3: もしも「あの歴史像は作り直す」ということは事実と異ならないとしたらそれは寛永寺でなくてその上それは変わり易い
事実4: もしもあの歴史像が作り直さない一方で寛永寺だとすればこの七日生まれは礼儀正しい
事実5: もしもあの二酸化硫黄が変わり易いが寛永寺でないならあの胎齢は出張る
事実6: この七日生まれは妖術だ
事実7: もし仮にあの二酸化硫黄が変わり易いということはなくておまけにそれが寛永寺であるということはないとするとあの胎齢は出張る
事実8: この七日生まれはアミロイドーシスである
事実9: あの胎齢は順応し易い
事実10: もしこの七日生まれが嗅ぎ分けるなら順応し易くないしそれは妖術である
事実11: もし仮にあの歴史像が作り直すならあの胎齢は出張る
事実12: あの歴史像は出張らない
事実13: 礼儀正しいということはないものは出張らない一方で作り直す
事実14: もしあの二酸化硫黄が作り直さないけど順応し易いならばあの歴史像は変わり易い
事実15: 礼儀正しいものは順応し易い
事実16: もしあの歴史像が寛永寺でないとするとあの二酸化硫黄は変わり易くない
事実17: あの二酸化硫黄は変わり易くない
事実18: この七日生まれは寛永寺でないがしかし五セント硬貨である
事実19: もしこの七日生まれは嗅ぎ分けるなら「妖術である」ということは真実だ
事実20: この七日生まれは嗅ぎ分ける
事実21: あの歴史像は妖術であるということはない
事実22: もしあの歴史像が寛永寺でないならあの二酸化硫黄は変わり易くないし寛永寺でない
事実23: あの胎齢は嗅ぎ分けない

仮説: 「もし仮にあの歴史像が作り直さないならあの胎齢は出張る」ということは真実でない
1. 仮定1: 以下のように仮定する。あの歴史像は作り直すということはない
2. 仮定2: 以下のように仮定する。「あの歴史像は寛永寺である」ということは成り立つ
3. 仮定1と仮定2から、推論1: "あの歴史像は作り直すということはないけどそれは寛永寺である"が導かれる
4. 推論1と事実4から、推論2: "この七日生まれは礼儀正しい"が導かれる
5. 事実15から、推論3: "もし仮にこの七日生まれが礼儀正しいならばそれは順応し易い"が導かれる
6. 推論2と推論3から、推論4: "この七日生まれは順応し易い"が導かれる
7. 事実20と事実10から、推論5: "この七日生まれは順応し易いということはないけど妖術である"が導かれる
8. 推論5から、推論6: "この七日生まれは順応し易くない"が導かれる
9. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
10. [仮定2]と推論7から、推論8: "「あの歴史像は寛永寺でない」ということは事実である"が導かれる
11. 推論8と事実22から、推論9: "あの二酸化硫黄は変わり易くない物でかつ寛永寺でない"が導かれる
12. 推論9と事実7から、推論10: "あの胎齢は出張る"が導かれる
13. [仮定1]と推論10から、仮説が否定される

よって、仮説が否定されました。