Bob is blue. Bob is smart. Erin is furry. Erin is green. Erin is smart. Gary is kind. Harry is blue. Smart people are furry. If someone is kind then they are red. If Gary is red then Gary is smart.
Erin is red.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule1))] Erin is green.[(triple4)] Erin is smart.[(triple5)] Gary is kind.[(triple6)] Harry is blue.[(triple7)] @1: Bob is furry.[(((triple2) -> rule1))] Gary is red.[(((triple6) -> rule2))] @2: Gary is smart.[(((((triple6) -> rule2)) -> rule3))] @3: Gary is furry.[(((((((triple6) -> rule2)) -> rule3)) -> rule1))]