Bob is smart. Erin is furry. Gary is quiet. If someone is cold and rough then they are furry. Rough, green people are cold. Cold people are green. All green people are rough. All blue people are furry. If someone is furry then they are quiet. All green, smart people are furry. If Gary is blue and Gary is cold then Gary is quiet.
Gary is smart.
@0: Bob is smart.[(triple1)] Erin is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule6))]