あのラジオは薄くない
fact1: 「あのラジオは規格化しないかまたは心変わりするということはないかもしくは両方ともである」ということは誤りだ fact2: もしも「「あのラジオは規格化するということはないかあるいはそれは心変わりしない」ということは間違っている」ということは正しいならば薄くない
$facts$ = fact1: 「あのラジオは規格化しないかまたは心変わりするということはないかもしくは両方ともである」ということは誤りだ fact2: もしも「「あのラジオは規格化するということはないかあるいはそれは心変わりしない」ということは間違っている」ということは正しいならば薄くない ; $hypothesis$ = あのラジオは薄くない ; $proof$ = 
事実1: 「あのラジオは規格化しないかまたは心変わりするということはないかもしくは両方ともである」ということは誤りだ
事実2: もしも「「あのラジオは規格化するということはないかあるいはそれは心変わりしない」ということは間違っている」ということは正しいならば薄くない

仮説: あのラジオは薄くない