Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Dave is blue. Dave is white. Erin is cold. Erin is nice. Erin is red. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is white. If Erin is red then Erin is kind. If something is cold and kind then it is furry. Red things are cold. If Dave is blue then Dave is cold. Blue, white things are nice. All furry, red things are cold. If Harry is cold then Harry is nice. If something is furry then it is white.
Erin is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule3) OR ((triple3 triple6) -> rule6))] Bob is furry.[(triple3 OR ((triple2 triple4) -> rule2) OR ((((triple6) -> rule3) triple4) -> rule2))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple1 ((triple3) -> rule8)) -> rule5) OR ((triple1 ((((triple2 triple4) -> rule2)) -> rule8)) -> rule5) OR ((triple1 ((((((triple6) -> rule3) triple4) -> rule2)) -> rule8)) -> rule5))] Bob is red.[(triple6)] Dave is blue.[(triple7)] Dave is white.[(triple8)] Erin is cold.[(triple9 OR ((triple11) -> rule3))] Erin is nice.[(triple10)] Erin is red.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15 OR ((triple12 triple16) -> rule5) OR ((triple12 ((triple13) -> rule8)) -> rule5))] Harry is white.[(triple16 OR ((triple13) -> rule8))] @1: Bob is white.[(((triple3) -> rule8) OR ((((triple2 triple4) -> rule2)) -> rule8) OR ((((((triple6) -> rule3) triple4) -> rule2)) -> rule8))] Dave is cold.[(((triple7) -> rule4))] Dave is nice.[(((triple7 triple8) -> rule5))] Erin is kind.[(((triple11) -> rule1))] @2: Erin is furry.[(((triple9 ((triple11) -> rule1)) -> rule2) OR ((((triple11) -> rule3) ((triple11) -> rule1)) -> rule2))] @3: Erin is white.[(((((triple9 ((triple11) -> rule1)) -> rule2)) -> rule8) OR ((((((triple11) -> rule3) ((triple11) -> rule1)) -> rule2)) -> rule8))]