Charlie is kind. If someone is kind and furry then they are not red. Kind people are red. Cold people are rough. If someone is red then they are cold. If Charlie is rough and Charlie is not furry then Charlie is red. If someone is kind then they are young.
Charlie is nice.
@0: Charlie is kind.[(triple1)] @1: Charlie is red.[(((triple1) -> rule2))] Charlie is young.[(((triple1) -> rule6))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule4))] @3: Charlie is rough.[(((((((triple1) -> rule2)) -> rule4)) -> rule3))]