Bob is green. Bob is white. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is round. All cold, kind things are green. White, kind things are green. If Harry is blue then Harry is round. If something is blue and round then it is cold. If Harry is green and Harry is white then Harry is furry. If Harry is blue and Harry is round then Harry is furry.
Bob is kind.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Harry is blue.[(triple3)] Harry is furry.[(triple4 OR ((triple3 triple7) -> rule6) OR ((triple3 ((triple3) -> rule3)) -> rule6))] Harry is green.[(triple5 OR ((((triple3 triple7) -> rule4) triple6) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule4) triple6) -> rule1))] Harry is kind.[(triple6)] Harry is round.[(triple7 OR ((triple3) -> rule3))] @1: Harry is cold.[(((triple3 triple7) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule4))]