Anne is blue. Anne is cold. Anne is red. Anne is smart. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is smart. Dave is blue. Dave is cold. Dave is red. All cold, kind people are red. Young people are blue.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is smart.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is red.[(triple12)] @1: Charlie is red.[(((triple6 triple7) -> rule1))]