Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is young. Erin is furry. Erin is young. Fiona is blue. Fiona is furry. Fiona is quiet. All round, green things are red. Red things are furry. If something is blue and young then it is round. If something is quiet and green then it is blue. If something is blue and round then it is green. Furry, young things are blue.
Erin is green.
@0: Anne is blue.[(triple1 OR ((triple2 triple7) -> rule6) OR ((triple4 triple3) -> rule4) OR ((((triple5) -> rule2) triple7) -> rule6) OR ((((((triple6 triple3) -> rule1)) -> rule2) triple7) -> rule6))] Anne is furry.[(triple2 OR ((triple5) -> rule2) OR ((((triple6 triple3) -> rule1)) -> rule2) OR ((((triple6 ((triple1 triple6) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 triple7) -> rule3) triple3) -> rule1)) -> rule2) OR ((((((triple1 triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1)) -> rule2) OR ((((triple6 ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple4 triple3) -> rule4) triple7) -> rule3) triple3) -> rule1)) -> rule2) OR ((((((triple1 triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1)) -> rule2))] Anne is green.[(triple3 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple1 triple7) -> rule3)) -> rule5) OR ((((triple2 triple7) -> rule6) triple6) -> rule5) OR ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5) OR ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) triple6) -> rule5) OR ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((triple1 ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((triple2 triple7) -> rule6) ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3)) -> rule5))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple3) -> rule1) OR ((triple6 ((triple1 triple6) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) triple3) -> rule1) OR ((((triple1 triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1) OR ((triple6 ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) triple3) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) triple3) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((triple6 ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1))] Anne is round.[(triple6 OR ((triple1 triple7) -> rule3) OR ((((triple2 triple7) -> rule6) triple7) -> rule3) OR ((((triple4 triple3) -> rule4) triple7) -> rule3) OR ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3))] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] @1: Erin is blue.[(((triple8 triple9) -> rule6))] @2: Erin is round.[(((((triple8 triple9) -> rule6) triple9) -> rule3))] @3: Erin is green.[(((((triple8 triple9) -> rule6) ((((triple8 triple9) -> rule6) triple9) -> rule3)) -> rule5))] @4: Erin is red.[(((((((triple8 triple9) -> rule6) triple9) -> rule3) ((((triple8 triple9) -> rule6) ((((triple8 triple9) -> rule6) triple9) -> rule3)) -> rule5)) -> rule1))]