Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is white. Erin is furry. Erin is not kind. Erin is white. Erin is young. Young, blue people are white. All blue people are cold. Kind people are furry.
Erin is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule2))] Anne is furry.[(triple3 OR ((triple4) -> rule3))] Anne is kind.[(triple4)] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7 OR ((triple6) -> rule2))] Charlie is furry.[(triple8 OR ((triple9) -> rule3))] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Charlie is white.[(triple11)] Erin is furry.[(triple12)] Erin is not kind.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)]