Anne is blue. Anne is cold. Anne is rough. Erin is blue. Erin is furry. Erin is kind. Erin is rough. Erin is smart. Erin is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Kind, blue things are young. All kind, young things are cold.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((triple6 triple4) -> rule1))] Fiona is blue.[(triple10)] Fiona is cold.[(triple11 OR ((triple13 triple16) -> rule2) OR ((triple13 ((triple13 triple10) -> rule1)) -> rule2))] Fiona is furry.[(triple12)] Fiona is kind.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)] Fiona is young.[(triple16 OR ((triple13 triple10) -> rule1))] @1: Erin is cold.[(((triple6 triple9) -> rule2) OR ((triple6 ((triple6 triple4) -> rule1)) -> rule2))]