Bob is quiet. Erin is blue. Gary is young. Harry is round. All round people are green. All young, kind people are blue. Green people are quiet. If someone is kind then they are green. All young people are kind. Round people are green.
Harry is smart.
@0: Bob is quiet.[(triple1)] Erin is blue.[(triple2)] Gary is young.[(triple3)] Harry is round.[(triple4)] @1: Gary is kind.[(((triple3) -> rule5))] Harry is green.[(((triple4) -> rule1) OR ((triple4) -> rule6))] @2: Gary is blue.[(((triple3 ((triple3) -> rule5)) -> rule2))] Gary is green.[(((((triple3) -> rule5)) -> rule4))] Harry is quiet.[(((((triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] @3: Gary is quiet.[(((((((triple3) -> rule5)) -> rule4)) -> rule3))]