Charlie is kind. Charlie is smart. Dave is blue. Dave is cold. Dave is kind. Erin is smart. Erin is not white. Gary is cold. Gary is kind. Gary is quiet. Gary is smart. Gary is white. If someone is quiet then they are not blue. If Erin is smart and Erin is quiet then Erin is not white. If someone is white and not blue then they are red.
Erin is red.
@0: Charlie is kind.[(triple1)] Charlie is smart.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Erin is not white.[(triple7)] Erin is smart.[(triple6)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is quiet.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Gary is not blue.[(((triple10) -> rule1))] @2: Gary is red.[(((triple12 ((triple10) -> rule1)) -> rule3))]