Anne is green. Charlie is green. Dave is green. Harry is red. If Charlie is green then Charlie is kind. Green, young people are red. Red people are blue. If someone is rough and big then they are green. All red, rough people are kind. Kind people are young. If Charlie is rough then Charlie is young. Blue, kind people are green.
Charlie is kind.
@0: Anne is green.[(triple1)] Charlie is green.[(triple2)] Dave is green.[(triple3)] Harry is red.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule1))] Harry is blue.[(((triple4) -> rule3))] @2: Charlie is young.[(((((triple2) -> rule1)) -> rule6))] @3: Charlie is red.[(((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule2))] @4: Charlie is blue.[(((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule3))]