Bob is not cold. Bob is furry. Bob is nice. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Harry is furry. Harry is kind. Harry is round. If something is kind and cold then it is furry. Nice things are big. Round things are blue. Cold, round things are blue. If something is nice then it is blue. Furry things are round. If something is big and not furry then it is round. If Harry is blue then Harry is nice.
Bob is not furry.
@0: Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not cold.[(triple1)] Charlie is big.[(triple4)] Charlie is blue.[(triple5 OR ((((((triple7 triple6) -> rule1)) -> rule6)) -> rule3) OR ((triple6 ((((triple7 triple6) -> rule1)) -> rule6)) -> rule4))] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule6))] @1: Bob is big.[(((triple3) -> rule2))] Bob is blue.[(((triple3) -> rule5) OR ((((triple2) -> rule6)) -> rule3))] Bob is round.[(((triple2) -> rule6))] Charlie is furry.[(((triple7 triple6) -> rule1))] Harry is blue.[(((triple10) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] @2: Charlie is round.[(((((triple7 triple6) -> rule1)) -> rule6))] Harry is nice.[(((((triple10) -> rule3)) -> rule8) OR ((((((triple8) -> rule6)) -> rule3)) -> rule8))] @3: Harry is big.[(((((((triple10) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple8) -> rule6)) -> rule3)) -> rule8)) -> rule2))]