Bob is blue. Bob is cold. Bob is furry. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is round. Dave is smart. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is round. Harry is smart. Harry is young. Kind things are smart. If something is furry and smart then it is round. Blue things are kind.
Harry is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple4) -> rule3))] Dave is round.[(triple8 OR ((triple6 triple9) -> rule2) OR ((triple6 ((triple7) -> rule1)) -> rule2) OR ((triple6 ((((triple4) -> rule3)) -> rule1)) -> rule2))] Dave is smart.[(triple9 OR ((triple7) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple10) -> rule3))] Harry is round.[(triple14 OR ((triple12 triple15) -> rule2) OR ((triple12 ((triple13) -> rule1)) -> rule2) OR ((triple12 ((((triple10) -> rule3)) -> rule1)) -> rule2))] Harry is smart.[(triple15 OR ((triple13) -> rule1) OR ((((triple10) -> rule3)) -> rule1))] Harry is young.[(triple16)] @1: Bob is kind.[(((triple1) -> rule3))] @2: Bob is smart.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is round.[(((triple3 ((((triple1) -> rule3)) -> rule1)) -> rule2))]