「もしこの層塔が嘯くならあの病原体保有者は始業時刻である」ということは成り立たない
fact1: もしもあの病原体保有者は始業時刻でないならば「この層塔は都会生活でない一方で厚ぼったい」ということは偽である fact2: 「あの病原体保有者は入れ上げる」ということは確かである fact3: この層塔は始業時刻だ fact4: その女性組合員比率は都会生活でない fact5: 仮に「何かは始業時刻でないが嘯く」ということは成り立たないとすればそれは都会生活でない fact6: もしもこの層塔が都会生活だとすると嘯くということはない fact7: 「この層塔は見難くないが自動車事故対策センターである」ということは間違っている fact8: 仮に「とあるものは都会生活でないけど厚ぼったい」ということは間違いであるとすれば「嘯かない」ということは誤りであるということはない fact9: もしあの病原体保有者は始業時刻であるとすると「この層塔は都会生活でないけれど厚ぼったい」ということは誤っている
void -> assump2: 以下のように仮定する。あの病原体保有者は始業時刻でない; fact1 & assump2 -> int1: 「この層塔は都会生活でない一方でそれは厚ぼったい」ということは誤っている; fact8 -> int2: もし仮に「この層塔は都会生活でないがしかし厚ぼったい」ということは確かでないとすればそれは嘯くということはない; int1 & int2 -> int3: この層塔は嘯かない; void -> assump1: 以下のように仮定する。この層塔は嘯く; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの病原体保有者は始業時刻である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもあの病原体保有者は始業時刻でないならば「この層塔は都会生活でない一方で厚ぼったい」ということは偽である fact2: 「あの病原体保有者は入れ上げる」ということは確かである fact3: この層塔は始業時刻だ fact4: その女性組合員比率は都会生活でない fact5: 仮に「何かは始業時刻でないが嘯く」ということは成り立たないとすればそれは都会生活でない fact6: もしもこの層塔が都会生活だとすると嘯くということはない fact7: 「この層塔は見難くないが自動車事故対策センターである」ということは間違っている fact8: 仮に「とあるものは都会生活でないけど厚ぼったい」ということは間違いであるとすれば「嘯かない」ということは誤りであるということはない fact9: もしあの病原体保有者は始業時刻であるとすると「この層塔は都会生活でないけれど厚ぼったい」ということは誤っている ; $hypothesis$ = 「もしこの層塔が嘯くならあの病原体保有者は始業時刻である」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの病原体保有者は始業時刻でない; fact1 & assump2 -> int1: 「この層塔は都会生活でない一方でそれは厚ぼったい」ということは誤っている; fact8 -> int2: もし仮に「この層塔は都会生活でないがしかし厚ぼったい」ということは確かでないとすればそれは嘯くということはない; int1 & int2 -> int3: この層塔は嘯かない; void -> assump1: 以下のように仮定する。この層塔は嘯く; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの病原体保有者は始業時刻である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもあの病原体保有者は始業時刻でないならば「この層塔は都会生活でない一方で厚ぼったい」ということは偽である
事実2: 「あの病原体保有者は入れ上げる」ということは確かである
事実3: この層塔は始業時刻だ
事実4: その女性組合員比率は都会生活でない
事実5: 仮に「何かは始業時刻でないが嘯く」ということは成り立たないとすればそれは都会生活でない
事実6: もしもこの層塔が都会生活だとすると嘯くということはない
事実7: 「この層塔は見難くないが自動車事故対策センターである」ということは間違っている
事実8: 仮に「とあるものは都会生活でないけど厚ぼったい」ということは間違いであるとすれば「嘯かない」ということは誤りであるということはない
事実9: もしあの病原体保有者は始業時刻であるとすると「この層塔は都会生活でないけれど厚ぼったい」ということは誤っている

仮説: 「もしこの層塔が嘯くならあの病原体保有者は始業時刻である」ということは成り立たない
1. 仮定2: 以下のように仮定する。あの病原体保有者は始業時刻でない
2. 事実1と仮定2から、推論1: "「この層塔は都会生活でない一方でそれは厚ぼったい」ということは誤っている"が導かれる
3. 事実8から、推論2: "もし仮に「この層塔は都会生活でないがしかし厚ぼったい」ということは確かでないとすればそれは嘯くということはない"が導かれる
4. 推論1と推論2から、推論3: "この層塔は嘯かない"が導かれる
5. 仮定1: 以下のように仮定する。この層塔は嘯く
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの病原体保有者は始業時刻である"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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