Anne is furry. Anne is round. Anne is smart. Erin is furry. Erin is smart. Erin is young. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Gary is furry. Gary is nice. Gary is not round. Gary is smart. Gary is white. White, young people are furry. If Erin is rough then Erin is smart. All rough people are nice. All nice, round people are white. All young people are smart. If someone is nice and furry then they are not round.
Fiona is nice.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Erin is furry.[(triple4)] Erin is smart.[(triple5 OR ((triple6) -> rule5))] Erin is young.[(triple6)] Fiona is furry.[(triple7 OR ((triple10 triple11) -> rule1))] Fiona is rough.[(triple8)] Fiona is smart.[(triple9 OR ((triple11) -> rule5))] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is not round.[(triple14 OR ((triple13 triple12) -> rule6))] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Fiona is nice.[(((triple8) -> rule3))] @2: Fiona is not round.[(((((triple8) -> rule3) triple7) -> rule6) OR ((((triple8) -> rule3) ((triple10 triple11) -> rule1)) -> rule6))]