Anne is white. Anne is young. Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is white. Erin is cold. Erin is furry. Erin is green. Erin is white. If someone is green then they are young. If someone is quiet and furry then they are kind. If Erin is kind and Erin is not young then Erin is cold.
Erin is not young.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is not green.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is white.[(triple10)] @1: Erin is young.[(((triple9) -> rule1))]