「この国々は出色であるがしかし飲み屋街だということはない」ということは偽だ
fact1: なんらかのものは蝶道だ fact2: もし「蝶道な」物があるとしたらこの国々は出色だが飲み屋街でない
$facts$ = fact1: なんらかのものは蝶道だ fact2: もし「蝶道な」物があるとしたらこの国々は出色だが飲み屋街でない ; $hypothesis$ = 「この国々は出色であるがしかし飲み屋街だということはない」ということは偽だ ; $proof$ = 
事実1: なんらかのものは蝶道だ
事実2: もし「蝶道な」物があるとしたらこの国々は出色だが飲み屋街でない

仮説: 「この国々は出色であるがしかし飲み屋街だということはない」ということは偽だ