Anne is not quiet. Anne is rough. Anne is round. Anne is young. Erin is cold. Erin is rough. Fiona is not cold. Fiona is furry. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is young. Gary is quiet. Gary is not rough. Gary is round. Gary is young. Red, quiet things are young. If something is round and rough then it is young. All quiet, furry things are not red. Round, quiet things are furry. If something is quiet and rough then it is furry. Red things are round. If something is furry and not round then it is cold. All quiet things are cold.
Erin is red.
@0: Anne is not quiet.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4 OR ((triple3 triple2) -> rule2))] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Fiona is furry.[(triple8)] Fiona is not cold.[(triple7)] Fiona is not quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12 OR ((((triple10) -> rule6) triple11) -> rule2))] Gary is not rough.[(triple14)] Gary is quiet.[(triple13)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Fiona is round.[(((triple10) -> rule6))] Gary is cold.[(((triple13) -> rule8))] Gary is furry.[(((triple15 triple13) -> rule4))] @2: Gary is not red.[(((triple13 ((triple15 triple13) -> rule4)) -> rule3))]