その東京都市計画は美化する
fact1: 「この荒くれは僻みっぽくないしかつ代王殿下でない」ということは成り立たないならば「その東京都市計画は美化しない」ということは成り立つ fact2: 「この荒くれは僻みっぽくないししかも代王殿下だということはない」ということは嘘である fact3: もし「その東京都市計画は代王殿下でなくて僻みっぽくない」ということは成り立たないとしたら「この荒くれは美化しない」ということは真実だ fact4: 仮に「この荒くれは代王殿下でないしかつ美化するということはない」ということは成り立たないとするとその東京都市計画は僻みっぽくない fact5: 「この荒くれは僻みっぽいがしかし代王殿下でない」ということは成り立たない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「この荒くれは僻みっぽくないしかつ代王殿下でない」ということは成り立たないならば「その東京都市計画は美化しない」ということは成り立つ fact2: 「この荒くれは僻みっぽくないししかも代王殿下だということはない」ということは嘘である fact3: もし「その東京都市計画は代王殿下でなくて僻みっぽくない」ということは成り立たないとしたら「この荒くれは美化しない」ということは真実だ fact4: 仮に「この荒くれは代王殿下でないしかつ美化するということはない」ということは成り立たないとするとその東京都市計画は僻みっぽくない fact5: 「この荒くれは僻みっぽいがしかし代王殿下でない」ということは成り立たない ; $hypothesis$ = その東京都市計画は美化する ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この荒くれは僻みっぽくないしかつ代王殿下でない」ということは成り立たないならば「その東京都市計画は美化しない」ということは成り立つ
事実2: 「この荒くれは僻みっぽくないししかも代王殿下だということはない」ということは嘘である
事実3: もし「その東京都市計画は代王殿下でなくて僻みっぽくない」ということは成り立たないとしたら「この荒くれは美化しない」ということは真実だ
事実4: 仮に「この荒くれは代王殿下でないしかつ美化するということはない」ということは成り立たないとするとその東京都市計画は僻みっぽくない
事実5: 「この荒くれは僻みっぽいがしかし代王殿下でない」ということは成り立たない

仮説: その東京都市計画は美化する
1. 事実1と事実2から、仮説が否定される

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