Anne is red. Anne is round. Anne is smart. Anne is young. Erin is furry. Fiona is red. Fiona is young. Gary is furry. Gary is red. Gary is round. If Fiona is furry and Fiona is round then Fiona is young. All green people are furry. Nice people are green. If Erin is smart then Erin is furry. If someone is round then they are furry. If someone is red then they are young. If someone is green and smart then they are red. All furry people are young.
Fiona is young.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule8))] Erin is furry.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule6))] Gary is furry.[(triple8 OR ((triple10) -> rule5))] Gary is red.[(triple9)] Gary is round.[(triple10)] @1: Anne is furry.[(((triple2) -> rule5))] Erin is young.[(((triple5) -> rule8))] Gary is young.[(((triple8) -> rule8) OR ((triple9) -> rule6) OR ((((triple10) -> rule5)) -> rule8))]