Anne is blue. Anne is quiet. Anne is round. Anne is not smart. Anne is young. Erin is furry. Erin is not quiet. Erin is smart. Fiona is blue. Fiona is quiet. Fiona is round. Fiona is smart. Smart people are blue. If Erin is not round then Erin is smart. If Erin is blue then Erin is green. All furry, smart people are green. If someone is blue and not smart then they are green. Green people are furry. All round, green people are furry. If someone is green and not furry then they are young.
Anne is furry.
@0: Anne is blue.[(triple1)] Anne is not smart.[(triple4)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple5)] Erin is furry.[(triple6 OR ((((((triple8) -> rule1)) -> rule3)) -> rule6))] Erin is not quiet.[(triple7)] Erin is smart.[(triple8)] Fiona is blue.[(triple9 OR ((triple12) -> rule1))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is green.[(((triple1 triple4) -> rule5))] Erin is blue.[(((triple8) -> rule1))] Erin is green.[(((triple6 triple8) -> rule4) OR ((((triple8) -> rule1)) -> rule3))] @2: Anne is furry.[(((((triple1 triple4) -> rule5)) -> rule6) OR ((triple3 ((triple1 triple4) -> rule5)) -> rule7))]