Bob is rough. Erin is furry. Fiona is furry. If Erin is smart and Erin is blue then Erin is rough. If Bob is kind and Bob is furry then Bob is cold. If someone is blue then they are nice. If someone is nice then they are furry. If someone is cold then they are smart. Furry, rough people are blue. Rough people are smart. All kind, cold people are rough.
Fiona is not smart.
@0: Bob is rough.[(triple1)] Erin is furry.[(triple2)] Fiona is furry.[(triple3)] @1: Bob is smart.[(((triple1) -> rule7))]