Anne is blue. Anne is furry. Charlie is furry. Charlie is green. Charlie is quiet. Erin is kind. Erin is smart. Fiona is furry. Fiona is green. Fiona is quiet. Quiet people are smart. If someone is quiet and smart then they are young. If someone is quiet and smart then they are furry. If someone is smart and furry then they are kind. Smart, quiet people are green. Blue, kind people are quiet. Young people are kind. Kind, young people are quiet.
Anne is not smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Charlie is furry.[(triple3 OR ((triple5 ((triple5) -> rule1)) -> rule3))] Charlie is green.[(triple4 OR ((((triple5) -> rule1) triple5) -> rule5))] Charlie is quiet.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] Fiona is furry.[(triple8 OR ((triple10 ((triple10) -> rule1)) -> rule3))] Fiona is green.[(triple9 OR ((((triple10) -> rule1) triple10) -> rule5))] Fiona is quiet.[(triple10)] @1: Charlie is smart.[(((triple5) -> rule1))] Fiona is smart.[(((triple10) -> rule1))] @2: Charlie is kind.[(((((triple5) -> rule1) triple3) -> rule4) OR ((((triple5 ((triple5) -> rule1)) -> rule2)) -> rule7) OR ((((triple5) -> rule1) ((triple5 ((triple5) -> rule1)) -> rule3)) -> rule4))] Charlie is young.[(((triple5 ((triple5) -> rule1)) -> rule2))] Fiona is kind.[(((((triple10) -> rule1) triple8) -> rule4) OR ((((triple10 ((triple10) -> rule1)) -> rule2)) -> rule7) OR ((((triple10) -> rule1) ((triple10 ((triple10) -> rule1)) -> rule3)) -> rule4))] Fiona is young.[(((triple10 ((triple10) -> rule1)) -> rule2))]