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