Bob is blue. Bob is furry. Erin is cold. Erin is furry. Gary is nice. Harry is nice. Harry is white. All furry people are blue. If someone is furry and round then they are smart. White people are smart. If someone is blue and smart then they are furry. Cold people are nice. If Bob is furry then Bob is blue. All blue, smart people are white. All white people are furry.
Harry is nice.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule6))] Bob is furry.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Gary is nice.[(triple5)] Harry is nice.[(triple6)] Harry is white.[(triple7)] @1: Erin is blue.[(((triple4) -> rule1))] Erin is nice.[(((triple3) -> rule5))] Harry is furry.[(((triple7) -> rule8))] Harry is smart.[(((triple7) -> rule3))] @2: Harry is blue.[(((((triple7) -> rule8)) -> rule1))]