Anne is cold. Anne is green. Anne is kind. Dave is cold. Dave is kind. Dave is nice. Dave is white. Gary is not kind. Gary is nice. Gary is not red. All green people are white. Green people are red. If someone is white and not big then they are not kind. If someone is green then they are kind. If someone is nice and not cold then they are not kind. If Anne is not nice then Anne is kind.
Gary is green.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule4))] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)] Gary is nice.[(triple9)] Gary is not kind.[(triple8)] Gary is not red.[(triple10)] @1: Anne is red.[(((triple2) -> rule2))] Anne is white.[(((triple2) -> rule1))]