Bob is blue. Erin is round. Round things are white. If something is furry and smart then it is white. If Bob is red then Bob is round. If something is nice and furry then it is blue. Nice things are white. If something is blue then it is smart. Furry things are smart. Furry, blue things are nice.
Erin is not round.
@0: Bob is blue.[(triple1)] Erin is round.[(triple2)] @1: Bob is smart.[(((triple1) -> rule6))] Erin is white.[(((triple2) -> rule1))]