「このシティ・アクションは憎々しいしまたそれは仰々しい」ということは偽だ
fact1: このシティ・アクションが成り易くないとしたら憎々しいしさらに仰々しい fact2: 「このシティ・アクションは成り易くない」ということは真実だ
$facts$ = fact1: このシティ・アクションが成り易くないとしたら憎々しいしさらに仰々しい fact2: 「このシティ・アクションは成り易くない」ということは真実だ ; $hypothesis$ = 「このシティ・アクションは憎々しいしまたそれは仰々しい」ということは偽だ ; $proof$ = 
事実1: このシティ・アクションが成り易くないとしたら憎々しいしさらに仰々しい
事実2: 「このシティ・アクションは成り易くない」ということは真実だ

仮説: 「このシティ・アクションは憎々しいしまたそれは仰々しい」ということは偽だ