Anne is green. Anne is not round. Anne is white. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is not white. Charlie is young. Dave is cold. Erin is nice. Erin is not red. Erin is round. Erin is white. Erin is young. If someone is green then they are cold. If someone is red and not nice then they are not white.
Dave is young.
@0: Anne is green.[(triple1)] Anne is not round.[(triple2)] Anne is white.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule1))] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Charlie is not white.[(triple9)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple10)] Dave is cold.[(triple11)] Erin is nice.[(triple12)] Erin is not red.[(triple13)] Erin is round.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)] @1: Anne is cold.[(((triple1) -> rule1))]