「この山陽道はタワー館でない」ということは確かである
fact1: 「「異化するし加えて煮え立たない」ということは成り立たない」物はある fact2: もしも「「異化するし煮え立つということはない」ということは成り立たない」物があるならこの山陽道はタワー館でない
$facts$ = fact1: 「「異化するし加えて煮え立たない」ということは成り立たない」物はある fact2: もしも「「異化するし煮え立つということはない」ということは成り立たない」物があるならこの山陽道はタワー館でない ; $hypothesis$ = 「この山陽道はタワー館でない」ということは確かである ; $proof$ = 
事実1: 「「異化するし加えて煮え立たない」ということは成り立たない」物はある
事実2: もしも「「異化するし煮え立つということはない」ということは成り立たない」物があるならこの山陽道はタワー館でない

仮説: 「この山陽道はタワー館でない」ということは確かである