Harry is blue. Harry is kind. Harry is red. Kind, green people are blue. If someone is young then they are kind. If someone is blue and green then they are rough. If someone is kind then they are rough. Blue people are red. If Harry is rough then Harry is green.
Harry is red.
@0: Harry is blue.[(triple1 OR ((triple2 ((((triple2) -> rule4)) -> rule6)) -> rule1))] Harry is kind.[(triple2)] Harry is red.[(triple3 OR ((triple1) -> rule5) OR ((((triple2 ((((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule5))] @1: Harry is rough.[(((triple2) -> rule4))] @2: Harry is green.[(((((triple2) -> rule4)) -> rule6))]