「「そのコインロッカーは台車でないしまた氷山でない」ということは成り立たない」ということは確かである
fact1: もしその戦が燃え易くないとすればそのコインロッカーは台車だということはなくて加えて氷山でない fact2: その戦は燃え易くない
$facts$ = fact1: もしその戦が燃え易くないとすればそのコインロッカーは台車だということはなくて加えて氷山でない fact2: その戦は燃え易くない ; $hypothesis$ = 「「そのコインロッカーは台車でないしまた氷山でない」ということは成り立たない」ということは確かである ; $proof$ = 
事実1: もしその戦が燃え易くないとすればそのコインロッカーは台車だということはなくて加えて氷山でない
事実2: その戦は燃え易くない

仮説: 「「そのコインロッカーは台車でないしまた氷山でない」ということは成り立たない」ということは確かである