How to calculate the degree of $∠FEB$ under this geometric scene

FindGeometricConjectures[
 RandomInstance[
  GeometricScene[{"A", "B" -> {-1, 0}, "C" -> {1, 0}, "E", 
    "F"}, {Triangle[{"A", "B", "C"}], 
    PlanarAngle[{"C", "A", "B"}] == 20 °, 
    PlanarAngle[{"A", "B", "C"}] == 80 °, 
    PlanarAngle[{"A", "C", "B"}] == 80 °, 
    Line[{"A", "F", "B"}], Line[{"A", "E", "C"}], 
    Triangle[{"E", "B", "F"}], 
    PlanarAngle[{"E", "B", "F"}] == 20 °, 
    PlanarAngle[{"E", "C", "F"}] == 30 °}]]]

and shows angle BEF to equal 30 degrees.

Apologies for the presentation of my code. I really have no idea how everybody's presentation looks so awesome :(


In your case, you can't get the result of PlanarAngle[{"B", "E", "F"}] == 30\[Degree] because there are two angles that are 30\[Degree]. By the following codes we can see that the result relevant is PlanarAngle[{"B", "E", "F"}] == PlanarAngle[{"E", "C", "F"}] == 30\[Degree] :

GeometricScene[{"A", "B" -> {-1, 0}, "C" -> {1, 0}, "E", 
      "F"}, {Triangle[{"A", "B", "C"}], 
      PlanarAngle[{"B", "A", "C"}] == 20 \[Degree], 
      PlanarAngle[{"A", "B", "C"}] == 80 \[Degree], 
      PlanarAngle[{"A", "C", "B"}] == 80 \[Degree], Line[{"A", "F", "B"}],
       Line[{"A", "E", "C"}], Triangle[{"E", "B", "F"}], 
      PlanarAngle[{"E", "B", "F"}] == 20 \[Degree], 
      PlanarAngle[{"E", "C", "F"}] == 30 \[Degree]}];
    t = RandomInstance[%]
    FindGeometricConjectures[t]["Conclusions"]

So you can see why FindGeometricConjectures[t, PlanarAngle[{__}] == _?NumericQ]["Conclusions"] doesn't work: the out put is _PlanarAngle == _PlanarAngle ==_ so _PlanarAngle == _ doesn't match, and it's easy to give a general solution to this circumstances: using

     FindGeometricConjectures[t,Equal[_PlanarAngle..,_?NumericQ]]["Conclusions"] 

, and it gives

     {PlanarAngle[{"B", "E", "F"}] == PlanarAngle[{"E", "C", "F"}] == 30 \[Degree],
     PlanarAngle[{"C", "B", "E"}] == 60 \[Degree]}

as we wanted.