Tidy up fc.pro ?

I cannot verify:

```
[wrong_failure,(0<->1)<->(1<->((0<->1)<->1))]
```
https://github.com/ptarau/TypesAndProofs/blob/master/fc.pro

If I try fCube 4.1 here, it tells me everything is ok:
```
:- decide(((p<=>q)<=>(q<=>((p<=>q)<=>q)))).
1 search result = provable (fCube-4.1)
```
https://jsfiddle.net/Jean_Luc_Picard_2021/4L7zhb1x/17/

How should I read your fc.pro?
