Fiona is kind. Fiona is young. Harry is green. If someone is green then they are kind. Nice people are furry. Kind, green people are blue. If Fiona is blue then Fiona is young. If someone is blue then they are furry. If someone is kind and young then they are furry. If someone is nice and green then they are kind. If someone is kind then they are green.
Fiona is not white.
@0: Fiona is kind.[(triple1)] Fiona is young.[(triple2 OR ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4))] Harry is green.[(triple3)] @1: Fiona is furry.[(((triple1 triple2) -> rule6) OR ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule5) OR ((triple1 ((((triple1 ((triple1) -> rule8)) -> rule3)) -> rule4)) -> rule6))] Fiona is green.[(((triple1) -> rule8))] Harry is kind.[(((triple3) -> rule1))] @2: Fiona is blue.[(((triple1 ((triple1) -> rule8)) -> rule3))] Harry is blue.[(((((triple3) -> rule1) triple3) -> rule3))] @3: Harry is furry.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule5))]