Alan might be rough and red but he's actually very kind. Eric is young. He can be kind but also cold and blue. That guy Harry sure is nice. A person who is kind, cold, and rough is big. A rather big person is a red person. You must be aware of big, red, young people being rough. A kind person will certainly be rough as well.
Alan is not kind.
@0: Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1 OR ((triple3) -> rule4))] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is kind.[(triple5)] Eric is young.[(triple4)] Harry is nice.[(triple8)] @1: Eric is rough.[(((triple5) -> rule4))] @2: Eric is big.[(((triple5 triple6 ((triple5) -> rule4)) -> rule1))] @3: Eric is red.[(((((triple5 triple6 ((triple5) -> rule4)) -> rule1)) -> rule2))]