Anne is blue. Anne is furry. Anne is kind. All furry, red people are round. If someone is green and blue then they are rough. All red, rough people are blue. If Anne is blue and Anne is round then Anne is rough. All rough people are red. If someone is blue and furry then they are red.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] @1: Anne is red.[(((triple1 triple2) -> rule6))] @2: Anne is round.[(((triple2 ((triple1 triple2) -> rule6)) -> rule1))] @3: Anne is rough.[(((triple1 ((triple2 ((triple1 triple2) -> rule6)) -> rule1)) -> rule4))]