Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Charlie is green. Charlie is red. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If someone is round and green then they are white. If someone is green then they are round. Round, red people are young. All white people are smart. If Fiona is smart then Fiona is round. All red people are green.
Charlie is not young.
@0: Anne is green.[(triple1 OR ((triple3) -> rule6))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] Anne is smart.[(triple5 OR ((triple6) -> rule4) OR ((((triple4 triple1) -> rule1)) -> rule4) OR ((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule2) ((triple3) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule2) triple1) -> rule1)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1)) -> rule4))] Anne is white.[(triple6 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule6)) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule1) OR ((((((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1))] Anne is young.[(triple7 OR ((triple4 triple3) -> rule3) OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule6)) -> rule2) triple3) -> rule3))] Charlie is green.[(triple8 OR ((triple9) -> rule6))] Charlie is red.[(triple9)] Fiona is green.[(triple10 OR ((triple12) -> rule6))] Fiona is kind.[(triple11)] Fiona is red.[(triple12)] Fiona is round.[(triple13 OR ((triple10) -> rule2) OR ((triple14) -> rule5) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple15) -> rule4)) -> rule5))] Fiona is smart.[(triple14 OR ((triple15) -> rule4) OR ((((triple13 triple10) -> rule1)) -> rule4) OR ((((triple13 ((triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((triple10) -> rule2) triple10) -> rule1)) -> rule4) OR ((((((triple10) -> rule2) ((triple12) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple12) -> rule6)) -> rule2) triple10) -> rule1)) -> rule4) OR ((((((((triple12) -> rule6)) -> rule2) ((triple12) -> rule6)) -> rule1)) -> rule4))] Fiona is white.[(triple15 OR ((triple13 triple10) -> rule1) OR ((triple13 ((triple12) -> rule6)) -> rule1) OR ((((triple10) -> rule2) triple10) -> rule1) OR ((((triple14) -> rule5) triple10) -> rule1) OR ((((triple10) -> rule2) ((triple12) -> rule6)) -> rule1) OR ((((triple14) -> rule5) ((triple12) -> rule6)) -> rule1) OR ((((((triple12) -> rule6)) -> rule2) triple10) -> rule1) OR ((((((triple12) -> rule6)) -> rule2) ((triple12) -> rule6)) -> rule1))] Fiona is young.[(triple16 OR ((triple13 triple12) -> rule3) OR ((((triple10) -> rule2) triple12) -> rule3) OR ((((triple14) -> rule5) triple12) -> rule3) OR ((((((triple12) -> rule6)) -> rule2) triple12) -> rule3) OR ((((((triple15) -> rule4)) -> rule5) triple12) -> rule3))] @1: Charlie is round.[(((triple8) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] @2: Charlie is white.[(((((triple8) -> rule2) triple8) -> rule1) OR ((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) triple8) -> rule1) OR ((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1))] Charlie is young.[(((((triple8) -> rule2) triple9) -> rule3) OR ((((((triple9) -> rule6)) -> rule2) triple9) -> rule3))] @3: Charlie is smart.[(((((((triple8) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) triple8) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule2) ((triple9) -> rule6)) -> rule1)) -> rule4))]