Anne is cold. Anne is furry. Anne is not nice. Anne is young. Charlie is big. Charlie is blue. Charlie is nice. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is young. If Erin is young and Erin is not big then Erin is round. If something is blue then it is cold.
Anne is furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not nice.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is nice.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9 OR ((triple8) -> rule2))] Erin is furry.[(triple10)] Erin is nice.[(triple11)] Erin is young.[(triple12)] @1: Charlie is cold.[(((triple6) -> rule2))]