let g be ConwayGame; :: thesis: ( g is zero or g is positive or g is negative or g is fuzzy )
assume ( not g is zero & not g is positive & not g is negative ) ; :: thesis: g is fuzzy
then ( not g is nonnegative & not g is nonpositive ) ;
hence g is fuzzy ; :: thesis: verum