Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is white. Erin is blue. Erin is cold. Erin is red. Harry is cold. Harry is furry. Harry is nice. Harry is red. If Erin is nice then Erin is white. If something is cold and white then it is furry. If something is blue then it is nice.
Erin is not furry.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2 triple5) -> rule2))] Bob is nice.[(triple4 OR ((triple1) -> rule3))] Bob is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is red.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] @1: Erin is nice.[(((triple6) -> rule3))] @2: Erin is white.[(((((triple6) -> rule3)) -> rule1))] @3: Erin is furry.[(((triple7 ((((triple6) -> rule3)) -> rule1)) -> rule2))]