Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is white. Anne is young. Bob is big. Bob is furry. Bob is kind. Bob is white. Bob is young. Charlie is furry. Harry is big. Harry is blue. Harry is white. Big people are kind. Furry, white people are blue. If someone is furry then they are white.
Charlie is not kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4 triple6) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2))] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is kind.[(triple5 OR ((triple1) -> rule1))] Anne is white.[(triple6 OR ((triple4) -> rule3))] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is furry.[(triple9)] Bob is kind.[(triple10 OR ((triple8) -> rule1))] Bob is white.[(triple11 OR ((triple9) -> rule3))] Bob is young.[(triple12)] Charlie is furry.[(triple13)] Harry is big.[(triple14)] Harry is blue.[(triple15)] Harry is white.[(triple16)] @1: Bob is blue.[(((triple9 triple11) -> rule2) OR ((triple9 ((triple9) -> rule3)) -> rule2))] Charlie is white.[(((triple13) -> rule3))] Harry is kind.[(((triple14) -> rule1))] @2: Charlie is blue.[(((triple13 ((triple13) -> rule3)) -> rule2))]