Anne is cold. Anne is kind. Bob is round. Bob is smart. Harry is blue. Harry is cold. Harry is green. All kind, blue things are rough. Cold things are kind. If something is rough and cold then it is round. If something is cold and blue then it is green. If Bob is cold then Bob is round. Round things are cold. All blue things are cold. All green things are kind.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule2))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6 OR ((triple5) -> rule7))] Harry is green.[(triple7 OR ((triple6 triple5) -> rule4) OR ((((triple5) -> rule7) triple5) -> rule4))] @1: Bob is cold.[(((triple3) -> rule6))] Harry is kind.[(((triple6) -> rule2) OR ((triple7) -> rule8) OR ((((triple5) -> rule7)) -> rule2) OR ((((triple6 triple5) -> rule4)) -> rule8) OR ((((((triple5) -> rule7) triple5) -> rule4)) -> rule8))] @2: Bob is kind.[(((((triple3) -> rule6)) -> rule2))] Harry is rough.[(((((triple6) -> rule2) triple5) -> rule1) OR ((((triple7) -> rule8) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) OR ((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1))] @3: Harry is round.[(((((((triple6) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((triple7) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((triple5) -> rule7)) -> rule2) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((triple6 triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) triple6) -> rule3) OR ((((((((((triple5) -> rule7) triple5) -> rule4)) -> rule8) triple5) -> rule1) ((triple5) -> rule7)) -> rule3))]