Anne is green. Anne is smart. Bob is kind. Bob is quiet. Bob is young. Charlie is blue. Charlie is green. Charlie is quiet. Erin is big. Erin is not blue. All kind people are not blue.
Charlie is not blue.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7)] Charlie is quiet.[(triple8)] Erin is big.[(triple9)] Erin is not blue.[(triple10)] @1: Bob is not blue.[(((triple3) -> rule1))]