「あのＯＰ．ＣＩＴは飲み交わしないかまたは決着するかまたは両方ともだ」ということは確かでない
fact1: このクライオスタットは散らかさないならば「あのＯＰ．ＣＩＴは飲み交わしないかそれは決着する」ということは事実と異なる fact2: 「このクライオスタットは散らかさない」ということは誤りでない
$facts$ = fact1: このクライオスタットは散らかさないならば「あのＯＰ．ＣＩＴは飲み交わしないかそれは決着する」ということは事実と異なる fact2: 「このクライオスタットは散らかさない」ということは誤りでない ; $hypothesis$ = 「あのＯＰ．ＣＩＴは飲み交わしないかまたは決着するかまたは両方ともだ」ということは確かでない ; $proof$ = 
事実1: このクライオスタットは散らかさないならば「あのＯＰ．ＣＩＴは飲み交わしないかそれは決着する」ということは事実と異なる
事実2: 「このクライオスタットは散らかさない」ということは誤りでない

仮説: 「あのＯＰ．ＣＩＴは飲み交わしないかまたは決着するかまたは両方ともだ」ということは確かでない