Bob is cold. Bob is kind. Bob is quiet. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Harry is blue. Harry is cold. Harry is kind. Harry is rough. Harry is round. Cold people are blue. Quiet people are cold. Blue, rough people are nice. All nice people are quiet. Round people are cold. Cold people are kind.
Harry is not round.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule2))] Bob is kind.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Bob is quiet.[(triple3)] Charlie is blue.[(triple4 OR ((triple5) -> rule1) OR ((((triple10) -> rule5)) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple7) -> rule4)) -> rule2)) -> rule1))] Charlie is cold.[(triple5 OR ((triple10) -> rule5) OR ((triple8) -> rule2) OR ((((triple7) -> rule4)) -> rule2) OR ((((((triple4 triple9) -> rule3)) -> rule4)) -> rule2))] Charlie is kind.[(triple6 OR ((triple5) -> rule6) OR ((((triple10) -> rule5)) -> rule6) OR ((((triple8) -> rule2)) -> rule6) OR ((((((triple7) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple4 triple9) -> rule3)) -> rule4)) -> rule2)) -> rule6))] Charlie is nice.[(triple7 OR ((triple4 triple9) -> rule3) OR ((((triple5) -> rule1) triple9) -> rule3) OR ((((((triple10) -> rule5)) -> rule1) triple9) -> rule3) OR ((((((triple8) -> rule2)) -> rule1) triple9) -> rule3))] Charlie is quiet.[(triple8 OR ((triple7) -> rule4) OR ((((triple4 triple9) -> rule3)) -> rule4) OR ((((((triple5) -> rule1) triple9) -> rule3)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule1) triple9) -> rule3)) -> rule4))] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Harry is blue.[(triple11 OR ((triple12) -> rule1) OR ((((triple15) -> rule5)) -> rule1))] Harry is cold.[(triple12 OR ((triple15) -> rule5) OR ((((((triple11 triple14) -> rule3)) -> rule4)) -> rule2))] Harry is kind.[(triple13 OR ((triple12) -> rule6) OR ((((triple15) -> rule5)) -> rule6) OR ((((((((triple11 triple14) -> rule3)) -> rule4)) -> rule2)) -> rule6))] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Bob is blue.[(((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Harry is nice.[(((triple11 triple14) -> rule3) OR ((((triple12) -> rule1) triple14) -> rule3) OR ((((((triple15) -> rule5)) -> rule1) triple14) -> rule3))] @2: Harry is quiet.[(((((triple11 triple14) -> rule3)) -> rule4) OR ((((((triple12) -> rule1) triple14) -> rule3)) -> rule4) OR ((((((((triple15) -> rule5)) -> rule1) triple14) -> rule3)) -> rule4))]