Anne is not blue. Anne is quiet. Charlie is blue. Charlie is kind. Charlie is not red. Charlie is smart. Dave is nice. Dave is quiet. Dave is red. Dave is not smart. Erin is quiet. Erin is smart. If something is smart then it is not nice. If something is quiet and white then it is smart. If Dave is smart and Dave is kind then Dave is not quiet.
Anne is blue.
@0: Anne is not blue.[(triple1)] Anne is quiet.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Charlie is not red.[(triple5)] Charlie is smart.[(triple6)] Dave is nice.[(triple7)] Dave is not smart.[(triple10)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Erin is quiet.[(triple11)] Erin is smart.[(triple12)] @1: Charlie is not nice.[(((triple6) -> rule1))] Erin is not nice.[(((triple12) -> rule1))]