Anne is not cold. Anne is kind. Anne is white. Anne is young. Dave is not cold. Dave is white. Dave is young. Erin is white. Erin is young. Gary is not kind. Gary is rough. Gary is young. If something is cold and red then it is kind. Cold things are red. If something is red and not rough then it is not young. If Gary is not kind then Gary is not white. If something is young and kind then it is smart. If something is white and not rough then it is smart.
Anne is cold.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is white.[(triple3)] Anne is young.[(triple4)] Dave is not cold.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is not kind.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Anne is smart.[(((triple4 triple2) -> rule5))] Gary is not white.[(((triple10) -> rule4))]