Anne is red. Charlie is green. Harry is smart. If Charlie is furry and Charlie is big then Charlie is not red. If Harry is red and Harry is rough then Harry is smart. If someone is rough then they are kind. If someone is rough and not green then they are kind. If someone is red and not green then they are rough. All green people are rough.
Charlie is rough.
@0: Anne is red.[(triple1)] Charlie is green.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is rough.[(((triple2) -> rule6))] @2: Charlie is kind.[(((((triple2) -> rule6)) -> rule3))]