Anne is blue. Anne is green. Anne is young. Erin is green. Erin is rough. Erin is young. Fiona is blue. Fiona is green. Fiona is round. Fiona is young. Young, blue people are kind. If someone is kind then they are rough. If Fiona is furry and Fiona is green then Fiona is rough. If someone is rough and green then they are furry. Young people are kind. All blue people are furry.
Erin is blue.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3)] Erin is green.[(triple4)] Erin is rough.[(triple5 OR ((((triple6) -> rule5)) -> rule2))] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Anne is furry.[(((triple1) -> rule6) OR ((((((triple3) -> rule5)) -> rule2) triple2) -> rule4) OR ((((((triple3 triple1) -> rule1)) -> rule2) triple2) -> rule4))] Anne is kind.[(((triple3) -> rule5) OR ((triple3 triple1) -> rule1))] Erin is furry.[(((triple5 triple4) -> rule4) OR ((((((triple6) -> rule5)) -> rule2) triple4) -> rule4))] Erin is kind.[(((triple6) -> rule5))] Fiona is furry.[(((triple7) -> rule6) OR ((((((triple10) -> rule5)) -> rule2) triple8) -> rule4) OR ((((((triple10 triple7) -> rule1)) -> rule2) triple8) -> rule4))] Fiona is kind.[(((triple10) -> rule5) OR ((triple10 triple7) -> rule1))] @2: Anne is rough.[(((((triple3) -> rule5)) -> rule2) OR ((((triple3 triple1) -> rule1)) -> rule2))] Fiona is rough.[(((((triple10) -> rule5)) -> rule2) OR ((((triple10 triple7) -> rule1)) -> rule2) OR ((((triple7) -> rule6) triple8) -> rule3))]