Bob is big. Charlie is green. Erin is quiet. Quiet things are cold. All big, kind things are quiet. If something is kind and red then it is big. If something is quiet and big then it is kind. Quiet things are green. All kind, quiet things are blue. All green, cold things are kind. If something is red then it is blue.
Charlie is green.
@0: Bob is big.[(triple1)] Charlie is green.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is cold.[(((triple3) -> rule1))] Erin is green.[(((triple3) -> rule5))] @2: Erin is kind.[(((((triple3) -> rule5) ((triple3) -> rule1)) -> rule7))] @3: Erin is blue.[(((((((triple3) -> rule5) ((triple3) -> rule1)) -> rule7) triple3) -> rule6))]