Anne is blue. Anne is furry. Anne is smart. Fiona is blue. Fiona is quiet. Gary is blue. Gary is furry. If something is furry then it is quiet. Quiet things are kind. If Anne is kind then Anne is round.
Fiona is smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is quiet.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] @1: Anne is quiet.[(((triple2) -> rule1))] Fiona is kind.[(((triple5) -> rule2))] Gary is quiet.[(((triple7) -> rule1))] @2: Anne is kind.[(((((triple2) -> rule1)) -> rule2))] Gary is kind.[(((((triple7) -> rule1)) -> rule2))] @3: Anne is round.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))]