Anne is rough. Erin is rough. Fiona is round. Harry is red. Round people are furry. If someone is nice then they are blue. If someone is green and rough then they are not blue. If someone is blue and green then they are round. If Fiona is red then Fiona is green. If someone is furry then they are nice. If Harry is round and Harry is nice then Harry is not red. If someone is furry and not rough then they are green.
Fiona is not blue.
@0: Anne is rough.[(triple1)] Erin is rough.[(triple2)] Fiona is round.[(triple3)] Harry is red.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule1))] @2: Fiona is nice.[(((((triple3) -> rule1)) -> rule6))] @3: Fiona is blue.[(((((((triple3) -> rule1)) -> rule6)) -> rule2))]