「あのジャイロは重苦しいけれどホットケーキでない」ということは間違いである
fact1: もし「あのジャイロはエセックス号でない」ということは確かであるとすればそれは重苦しいしそれはホットケーキだということはない fact2: あのジャイロはエセックス号だということはない
$facts$ = fact1: もし「あのジャイロはエセックス号でない」ということは確かであるとすればそれは重苦しいしそれはホットケーキだということはない fact2: あのジャイロはエセックス号だということはない ; $hypothesis$ = 「あのジャイロは重苦しいけれどホットケーキでない」ということは間違いである ; $proof$ = 
事実1: もし「あのジャイロはエセックス号でない」ということは確かであるとすればそれは重苦しいしそれはホットケーキだということはない
事実2: あのジャイロはエセックス号だということはない

仮説: 「あのジャイロは重苦しいけれどホットケーキでない」ということは間違いである