Bob is furry. Charlie is blue. Fiona is young. Gary is cold. Young people are blue. Blue, kind people are cold. Blue people are kind. Furry, young people are quiet. If someone is blue and rough then they are furry. If someone is quiet and young then they are rough.
Gary is young.
@0: Bob is furry.[(triple1)] Charlie is blue.[(triple2)] Fiona is young.[(triple3)] Gary is cold.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule3))] Fiona is blue.[(((triple3) -> rule1))] @2: Charlie is cold.[(((triple2 ((triple2) -> rule3)) -> rule2))] Fiona is kind.[(((((triple3) -> rule1)) -> rule3))] @3: Fiona is cold.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule2))]