Anne is blue. Anne is cold. Anne is red. Anne is smart. Anne is white. Anne is not young. Erin is not red. Erin is smart. Erin is young. Harry is blue. Harry is cold. Harry is kind. Harry is red. Harry is white. Harry is young. If Anne is young then Anne is cold. If Anne is blue then Anne is cold. If someone is red and not kind then they are cold. All white people are cold. If someone is white and not smart then they are cold. All cold people are white. If Harry is not red then Harry is cold. If someone is white and not blue then they are young.
Harry is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule2) OR ((triple5) -> rule4))] Anne is not young.[(triple6)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule6))] Erin is not red.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple14) -> rule4))] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is white.[(triple14 OR ((triple11) -> rule6))] Harry is young.[(triple15)]