Anne is red. Bob is smart. Erin is quiet. Fiona is blue. All round people are young. If someone is red and furry then they are quiet. Quiet people are furry. If someone is furry and red then they are quiet. If Anne is furry then Anne is quiet. Furry people are round. Blue, round people are young. Round people are smart.
Anne is not quiet.
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] Erin is quiet.[(triple3)] Fiona is blue.[(triple4)] @1: Erin is furry.[(((triple3) -> rule3))] @2: Erin is round.[(((((triple3) -> rule3)) -> rule6))] @3: Erin is smart.[(((((((triple3) -> rule3)) -> rule6)) -> rule8))] Erin is young.[(((((((triple3) -> rule3)) -> rule6)) -> rule1))]