Erin is cold. Erin is green. Fiona is green. Fiona is red. Gary is round. Harry is blue. Harry is rough. Round, blue things are furry. Cold things are rough.
Fiona is rough.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Fiona is green.[(triple3)] Fiona is red.[(triple4)] Gary is round.[(triple5)] Harry is blue.[(triple6)] Harry is rough.[(triple7)] @1: Erin is rough.[(((triple1) -> rule2))]