Fiona is nice. Gary is red. Harry is green. Nice things are green. If Fiona is nice then Fiona is not big. All rough things are nice. If something is white then it is rough. If Gary is green then Gary is not young. If Gary is red then Gary is green. Young things are red. If something is white and not rough then it is red.
Fiona is not young.
@0: Fiona is nice.[(triple1)] Gary is red.[(triple2)] Harry is green.[(triple3)] @1: Fiona is green.[(((triple1) -> rule1))] Fiona is not big.[(((triple1) -> rule2))] Gary is green.[(((triple2) -> rule6))] @2: Gary is not young.[(((((triple2) -> rule6)) -> rule5))]