Anne is green. Bob is round. Bob is young. Erin is kind. Erin is red. Erin is round. Erin is young. Fiona is kind. Fiona is red. Fiona is round. Red, rough people are green. If someone is furry and rough then they are red. All furry people are green. All kind people are green. If someone is red and round then they are young. All green, young people are furry. Round people are kind. All young people are red.
Fiona is not green.
@0: Anne is green.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Erin is kind.[(triple4 OR ((triple6) -> rule7))] Erin is red.[(triple5 OR ((triple7) -> rule8))] Erin is round.[(triple6)] Erin is young.[(triple7 OR ((triple5 triple6) -> rule5))] Fiona is kind.[(triple8 OR ((triple10) -> rule7))] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Bob is kind.[(((triple2) -> rule7))] Bob is red.[(((triple3) -> rule8))] Erin is green.[(((triple4) -> rule4) OR ((((triple6) -> rule7)) -> rule4))] Fiona is green.[(((triple8) -> rule4) OR ((((triple10) -> rule7)) -> rule4))] Fiona is young.[(((triple9 triple10) -> rule5))] @2: Bob is green.[(((((triple2) -> rule7)) -> rule4))] Erin is furry.[(((((triple4) -> rule4) triple7) -> rule6) OR ((((triple4) -> rule4) ((triple5 triple6) -> rule5)) -> rule6) OR ((((((triple6) -> rule7)) -> rule4) triple7) -> rule6) OR ((((((triple6) -> rule7)) -> rule4) ((triple5 triple6) -> rule5)) -> rule6))] Fiona is furry.[(((((triple8) -> rule4) ((triple9 triple10) -> rule5)) -> rule6) OR ((((((triple10) -> rule7)) -> rule4) ((triple9 triple10) -> rule5)) -> rule6))] @3: Bob is furry.[(((((((triple2) -> rule7)) -> rule4) triple3) -> rule6))]