Anne is cold. Anne is kind. Anne is red. Anne is white. Bob is not kind. Bob is not red. Charlie is green. Charlie is red. Charlie is young. Dave is green. Dave is red. Dave is young. If Anne is red then Anne is green.
Charlie is white.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Bob is not kind.[(triple5)] Bob is not red.[(triple6)] Charlie is green.[(triple7)] Charlie is red.[(triple8)] Charlie is young.[(triple9)] Dave is green.[(triple10)] Dave is red.[(triple11)] Dave is young.[(triple12)] @1: Anne is green.[(((triple3) -> rule1))]