Anne is green. Dave is furry. Dave is green. Erin is green. Erin is kind. Erin is young. Fiona is red. Furry, red people are not kind. If someone is red then they are furry. If Fiona is kind then Fiona is not green. If Fiona is green and Fiona is red then Fiona is quiet. If someone is red and not kind then they are nice. If Fiona is green then Fiona is nice. If someone is quiet then they are green. Nice, red people are green. If someone is furry and not nice then they are young.
Fiona is green.
@0: Anne is green.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is young.[(triple6)] Fiona is red.[(triple7)] @1: Fiona is furry.[(((triple7) -> rule2))] @2: Fiona is not kind.[(((((triple7) -> rule2) triple7) -> rule1))] @3: Fiona is nice.[(((triple7 ((((triple7) -> rule2) triple7) -> rule1)) -> rule5))] @4: Fiona is green.[(((((triple7 ((((triple7) -> rule2) triple7) -> rule1)) -> rule5) triple7) -> rule8))] @5: Fiona is quiet.[(((((((triple7 ((((triple7) -> rule2) triple7) -> rule1)) -> rule5) triple7) -> rule8) triple7) -> rule4))]