Anne is big. Anne is red. Erin is rough. Erin is smart. Fiona is furry. Gary is cold. Gary is smart. All furry people are blue.
Gary is not cold.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Fiona is furry.[(triple5)] Gary is cold.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule1))]