Anne is furry. Anne is quiet. Anne is young. Erin is white. Gary is smart. Harry is white. Harry is young. All round, quiet people are young. All quiet people are round. All smart, blue people are round. If someone is round and young then they are blue. If someone is quiet and young then they are round. If someone is blue then they are smart.
Erin is furry.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3 OR ((((triple2) -> rule2) triple2) -> rule1))] Erin is white.[(triple4)] Gary is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Anne is round.[(((triple2) -> rule2) OR ((triple2 triple3) -> rule5))] @2: Anne is blue.[(((((triple2) -> rule2) triple3) -> rule4) OR ((((triple2 triple3) -> rule5) triple3) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule1)) -> rule4) OR ((((triple2 triple3) -> rule5) ((((triple2) -> rule2) triple2) -> rule1)) -> rule4))] @3: Anne is smart.[(((((((triple2) -> rule2) triple3) -> rule4)) -> rule6) OR ((((((triple2 triple3) -> rule5) triple3) -> rule4)) -> rule6) OR ((((((triple2) -> rule2) ((((triple2) -> rule2) triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2 triple3) -> rule5) ((((triple2) -> rule2) triple2) -> rule1)) -> rule4)) -> rule6))]