Anne is furry. Anne is green. Anne is kind. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Kind people are quiet. If someone is round then they are kind. All kind, big people are blue. If someone is green then they are furry. All green, blue people are furry. If someone is green and quiet then they are big.
Anne is blue.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule4) OR ((triple2 ((triple3 ((triple2 ((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule5))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Erin is big.[(triple4 OR ((triple7 triple9) -> rule6) OR ((triple7 ((triple8) -> rule1)) -> rule6) OR ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6))] Erin is blue.[(triple5 OR ((triple8 triple4) -> rule3) OR ((triple8 ((triple7 triple9) -> rule6)) -> rule3) OR ((((triple10) -> rule2) triple4) -> rule3) OR ((((triple10) -> rule2) ((triple7 triple9) -> rule6)) -> rule3) OR ((triple8 ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((triple10) -> rule2) ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3))] Erin is furry.[(triple6 OR ((triple7) -> rule4) OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple8 triple4) -> rule3)) -> rule5) OR ((triple7 ((triple8 ((triple7 triple9) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) triple4) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) ((triple7 triple9) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((triple8 ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) ((triple7 ((triple8) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((triple8 ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple7 ((((triple10) -> rule2) ((triple7 ((((triple10) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5))] Erin is green.[(triple7)] Erin is kind.[(triple8 OR ((triple10) -> rule2))] Erin is quiet.[(triple9 OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Erin is round.[(triple10)] Fiona is big.[(triple11 OR ((triple12 triple14) -> rule6) OR ((triple12 ((triple13) -> rule1)) -> rule6) OR ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6))] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((triple15) -> rule2))] Fiona is quiet.[(triple14 OR ((triple13) -> rule1) OR ((((triple15) -> rule2)) -> rule1))] Fiona is round.[(triple15)] @1: Anne is quiet.[(((triple3) -> rule1))] Fiona is blue.[(((triple13 triple11) -> rule3) OR ((triple13 ((triple12 triple14) -> rule6)) -> rule3) OR ((((triple15) -> rule2) triple11) -> rule3) OR ((((triple15) -> rule2) ((triple12 triple14) -> rule6)) -> rule3) OR ((triple13 ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((triple13 ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3))] Fiona is furry.[(((triple12) -> rule4) OR ((triple12 ((triple13 triple11) -> rule3)) -> rule5) OR ((triple12 ((triple13 ((triple12 triple14) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) triple11) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) ((triple12 triple14) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((triple13 ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) ((triple12 ((triple13) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((triple13 ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple15) -> rule2) ((triple12 ((((triple15) -> rule2)) -> rule1)) -> rule6)) -> rule3)) -> rule5))] @2: Anne is big.[(((triple2 ((triple3) -> rule1)) -> rule6))] @3: Anne is blue.[(((triple3 ((triple2 ((triple3) -> rule1)) -> rule6)) -> rule3))]