Fiona is red. Gary is not red. Harry is big. Round things are not green. If Gary is big then Gary is not quiet. All round, quiet things are not kind. If Harry is kind then Harry is not nice. Nice, green things are quiet. Red things are quiet. If something is red and not big then it is nice. If something is quiet then it is round.
Fiona is nice.
@0: Fiona is red.[(triple1)] Gary is not red.[(triple2)] Harry is big.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule6))] @2: Fiona is round.[(((((triple1) -> rule6)) -> rule8))] @3: Fiona is not green.[(((((((triple1) -> rule6)) -> rule8)) -> rule1))] Fiona is not kind.[(((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule3))]