Anne is nice. Anne is quiet. Anne is young. Charlie is cold. Charlie is quiet. Charlie is young. Dave is nice. Dave is smart. Dave is not young. Erin is not white. All furry people are white. If someone is cold and not quiet then they are young. Young, white people are cold. All smart people are cold. If someone is nice then they are furry. Cold people are nice.
Dave is not nice.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Charlie is cold.[(triple4)] Charlie is quiet.[(triple5)] Charlie is young.[(triple6)] Dave is nice.[(triple7 OR ((((triple8) -> rule4)) -> rule6))] Dave is not young.[(triple9)] Dave is smart.[(triple8)] Erin is not white.[(triple10)] @1: Anne is furry.[(((triple1) -> rule5))] Charlie is nice.[(((triple4) -> rule6))] Dave is cold.[(((triple8) -> rule4))] Dave is furry.[(((triple7) -> rule5) OR ((((((triple8) -> rule4)) -> rule6)) -> rule5))] @2: Anne is white.[(((((triple1) -> rule5)) -> rule1))] Charlie is furry.[(((((triple4) -> rule6)) -> rule5))] Dave is white.[(((((triple7) -> rule5)) -> rule1) OR ((((((((triple8) -> rule4)) -> rule6)) -> rule5)) -> rule1))] @3: Anne is cold.[(((triple3 ((((triple1) -> rule5)) -> rule1)) -> rule3))] Charlie is white.[(((((((triple4) -> rule6)) -> rule5)) -> rule1))]