Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is white. Dave is young. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is white. Harry is young. If someone is green and blue then they are cold. All white, blue people are kind. If Harry is green and Harry is blue then Harry is kind. If Harry is cold then Harry is kind. All white, green people are cold. If Dave is red then Dave is green. All red people are young. If someone is green and white then they are cold.
Dave is red.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple1) -> rule1) OR ((triple3 triple6) -> rule8) OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple5) -> rule6)) -> rule5) OR ((((triple5) -> rule6) triple1) -> rule1) OR ((((triple5) -> rule6) triple6) -> rule8))] Dave is green.[(triple3 OR ((triple5) -> rule6))] Dave is kind.[(triple4 OR ((triple6 triple1) -> rule2))] Dave is red.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple5) -> rule7))] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple10 triple13) -> rule8) OR ((triple10 triple8) -> rule1) OR ((triple13 triple10) -> rule5))] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple9) -> rule4) OR ((triple10 triple8) -> rule3) OR ((triple13 triple8) -> rule2) OR ((((triple10 triple13) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule1)) -> rule4) OR ((((triple13 triple10) -> rule5)) -> rule4))] Harry is red.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple12) -> rule7))]