Dave is smart. Erin is green. Fiona is cold. Gary is smart. All young, smart things are nice. If Dave is nice and Dave is young then Dave is cold. If Erin is nice then Erin is rough. All cold things are rough. If something is rough and furry then it is cold. Nice, smart things are young. If something is nice and young then it is rough. If something is young and smart then it is rough.
Gary is smart.
@0: Dave is smart.[(triple1)] Erin is green.[(triple2)] Fiona is cold.[(triple3)] Gary is smart.[(triple4)] @1: Fiona is rough.[(((triple3) -> rule4))]