Erin is green. Fiona is furry. Fiona is not round. If someone is furry then they are not young. If someone is kind and rough then they are blue. If someone is rough and not round then they are kind. All blue people are kind. If Erin is furry then Erin is rough. If someone is furry and not round then they are rough.
Fiona is not kind.
@0: Erin is green.[(triple1)] Fiona is furry.[(triple2)] Fiona is not round.[(triple3)] @1: Fiona is not young.[(((triple2) -> rule1))] Fiona is rough.[(((triple2 triple3) -> rule6))] @2: Fiona is kind.[(((((triple2 triple3) -> rule6) triple3) -> rule3))] @3: Fiona is blue.[(((((((triple2 triple3) -> rule6) triple3) -> rule3) ((triple2 triple3) -> rule6)) -> rule2))]