Anne is green. Anne is young. Dave is blue. Dave is cold. Dave is kind. Gary is blue. Gary is quiet. Young people are cold. If someone is green then they are blue. Nice people are kind. All kind people are blue. If Dave is young then Dave is quiet. If Dave is young and Dave is blue then Dave is green. If someone is young and green then they are blue. If someone is green and cold then they are blue.
Anne is not kind.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Dave is blue.[(triple3 OR ((triple5) -> rule4))] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Gary is blue.[(triple6)] Gary is quiet.[(triple7)] @1: Anne is blue.[(((triple1) -> rule2) OR ((triple2 triple1) -> rule7) OR ((triple1 ((triple2) -> rule1)) -> rule8))] Anne is cold.[(((triple2) -> rule1))]