Dave is quiet. Erin is nice. Erin is smart. Erin is young. Fiona is white. Gary is cold. Gary is young. All smart people are cold. If Dave is young then Dave is quiet.
Erin is not nice.
@0: Dave is quiet.[(triple1)] Erin is nice.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is young.[(triple7)] @1: Erin is cold.[(((triple3) -> rule1))]