Bob is blue. Bob is furry. Erin is furry. Erin is kind. Erin is rough. Erin is smart. Erin is young. Smart things are blue.
Erin is rough.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] @1: Erin is blue.[(((triple6) -> rule1))]