Anne is cold. Anne is kind. Anne is round. Anne is smart. Anne is white. Gary is cold. Gary is not smart. Harry is cold. Harry is smart. Harry is not young. All white people are kind. If someone is round and cold then they are kind. All young people are kind. If someone is kind and not blue then they are not smart. If someone is blue and not cold then they are white. If Anne is blue then Anne is not white. Kind people are young. If Gary is blue and Gary is kind then Gary is smart.
Anne is not blue.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule1) OR ((triple3 triple1) -> rule2))] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Gary is cold.[(triple6)] Gary is not smart.[(triple7)] Harry is cold.[(triple8)] Harry is not young.[(triple10)] Harry is smart.[(triple9)] @1: Anne is young.[(((triple2) -> rule7) OR ((((triple5) -> rule1)) -> rule7) OR ((((triple3 triple1) -> rule2)) -> rule7))]