Fiona is red. If Fiona is red then Fiona is white. If Fiona is red and Fiona is green then Fiona is rough. If someone is green then they are white. If someone is rough and smart then they are quiet. Smart people are rough. If someone is smart then they are rough. Red, smart people are white. If someone is smart then they are red.
Fiona is not red.
@0: Fiona is red.[(triple1)] @1: Fiona is white.[(((triple1) -> rule1))]