Anne is blue. Anne is kind. Anne is nice. Anne is white. Gary is blue. Gary is kind. Gary is not white. Rough, blue things are not round. If something is blue then it is rough. If something is furry and not round then it is nice.
Gary is rough.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is white.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6)] Gary is not white.[(triple7)] @1: Anne is rough.[(((triple1) -> rule2))] Gary is rough.[(((triple5) -> rule2))] @2: Anne is not round.[(((((triple1) -> rule2) triple1) -> rule1))] Gary is not round.[(((((triple5) -> rule2) triple5) -> rule1))]