Anne is red. Anne is rough. Anne is round. Erin is blue. Erin is nice. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is rough. Gary is rough. All red people are nice. If someone is rough and nice then they are smart.
Gary is not nice.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple5)] Fiona is blue.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Gary is rough.[(triple10)] @1: Anne is nice.[(((triple1) -> rule1))] Fiona is nice.[(((triple8) -> rule1))] @2: Anne is smart.[(((triple2 ((triple1) -> rule1)) -> rule2))] Fiona is smart.[(((triple9 ((triple8) -> rule1)) -> rule2))]