Anne is nice. Anne is round. Charlie is nice. Charlie is rough. Charlie is not round. Charlie is white. Charlie is young. Erin is cold. Erin is rough. Erin is white. Gary is nice. Gary is young. White, cold things are nice. All furry things are nice. If Gary is round then Gary is furry. If something is round and cold then it is furry. All nice things are furry. If something is cold and not round then it is not rough.
Anne is cold.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Charlie is nice.[(triple3)] Charlie is not round.[(triple5)] Charlie is rough.[(triple4)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] Gary is nice.[(triple11)] Gary is young.[(triple12)] @1: Anne is furry.[(((triple1) -> rule5))] Charlie is furry.[(((triple3) -> rule5))] Erin is nice.[(((triple10 triple8) -> rule1))] Gary is furry.[(((triple11) -> rule5))] @2: Erin is furry.[(((((triple10 triple8) -> rule1)) -> rule5))]