Anne is cold. Anne is furry. Anne is kind. Anne is white. Anne is young. Charlie is furry. Charlie is kind. Charlie is white. Charlie is young. Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. Erin is nice. Kind people are cold. If someone is kind and cold then they are smart. Young, white people are nice.
Erin is smart.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule1))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11)] Dave is nice.[(triple12 OR ((triple15 triple14) -> rule3))] Dave is smart.[(triple13 OR ((triple11 ((triple11) -> rule1)) -> rule2))] Dave is white.[(triple14)] Dave is young.[(triple15)] Erin is nice.[(triple16)] @1: Anne is nice.[(((triple5 triple4) -> rule3))] Anne is smart.[(((triple3 triple1) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2))] Charlie is cold.[(((triple7) -> rule1))] Charlie is nice.[(((triple9 triple8) -> rule3))] Dave is cold.[(((triple11) -> rule1))] @2: Charlie is smart.[(((triple7 ((triple7) -> rule1)) -> rule2))]