Anne is nice. Erin is young. Fiona is white. Gary is blue. If Fiona is kind then Fiona is nice. If something is nice then it is blue. All blue things are white. White, blue things are kind. If something is quiet and not nice then it is not young. If something is white and not kind then it is quiet.
Erin is furry.
@0: Anne is nice.[(triple1)] Erin is young.[(triple2)] Fiona is white.[(triple3)] Gary is blue.[(triple4)] @1: Anne is blue.[(((triple1) -> rule2))] Gary is white.[(((triple4) -> rule3))] @2: Anne is white.[(((((triple1) -> rule2)) -> rule3))] Gary is kind.[(((((triple4) -> rule3) triple4) -> rule4))] @3: Anne is kind.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule4))]