Bob is blue. Bob is cold. Bob is furry. Bob is white. Erin is blue. Erin is furry. Erin is kind. Erin is young. Harry is big. Harry is cold. Harry is kind. Harry is white. If someone is white and young then they are big. If someone is white then they are kind. If Bob is furry then Bob is white.
Bob is not big.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule3))] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is young.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple12) -> rule2))] Harry is white.[(triple12)] @1: Bob is kind.[(((triple4) -> rule2) OR ((((triple3) -> rule3)) -> rule2))]