Anne is smart. Gary is rough. Gary is smart. All round things are green. If something is smart and not nice then it is rough. Round, nice things are rough. Kind, red things are rough. All rough things are round. If Gary is red and Gary is green then Gary is kind.
Anne is not green.
@0: Anne is smart.[(triple1)] Gary is rough.[(triple2)] Gary is smart.[(triple3)] @1: Gary is round.[(((triple2) -> rule5))] @2: Gary is green.[(((((triple2) -> rule5)) -> rule1))]