Anne is nice. Anne is smart. Charlie is green. Fiona is nice. Fiona is round. Fiona is white. Harry is blue. White, kind things are nice. If something is smart and kind then it is green. If something is round and kind then it is white. Smart things are kind. Nice, white things are kind. Round things are kind. If something is nice then it is smart. All white things are round. If Charlie is green then Charlie is white.
Fiona is not round.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2 OR ((triple1) -> rule7))] Charlie is green.[(triple3)] Fiona is nice.[(triple4 OR ((triple6 ((triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple6) -> rule8)) -> rule6)) -> rule1) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple6) -> rule8)) -> rule6)) -> rule1))] Fiona is round.[(triple5 OR ((triple6) -> rule8))] Fiona is white.[(triple6 OR ((triple5 ((triple5) -> rule6)) -> rule3) OR ((triple5 ((((triple4) -> rule7)) -> rule4)) -> rule3))] Harry is blue.[(triple7)] @1: Anne is kind.[(((triple2) -> rule4) OR ((((triple1) -> rule7)) -> rule4))] Charlie is white.[(((triple3) -> rule9))] Fiona is kind.[(((triple5) -> rule6) OR ((triple4 triple6) -> rule5) OR ((((triple4) -> rule7)) -> rule4) OR ((((triple6) -> rule8)) -> rule6))] Fiona is smart.[(((triple4) -> rule7) OR ((((triple6 ((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((triple6 ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple5 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7))] @2: Anne is green.[(((triple2 ((triple2) -> rule4)) -> rule2) OR ((((triple1) -> rule7) ((triple2) -> rule4)) -> rule2) OR ((triple2 ((((triple1) -> rule7)) -> rule4)) -> rule2) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule4)) -> rule2))] Charlie is round.[(((((triple3) -> rule9)) -> rule8))] Fiona is green.[(((((triple4) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((triple4) -> rule7) ((triple4 triple6) -> rule5)) -> rule2) OR ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((triple4) -> rule7) ((((triple6) -> rule8)) -> rule6)) -> rule2) OR ((((((triple6 ((triple5) -> rule6)) -> rule1)) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((((triple6 ((triple5) -> rule6)) -> rule1)) -> rule7) ((triple4 triple6) -> rule5)) -> rule2) OR ((((((triple6 ((triple5) -> rule6)) -> rule1)) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((((triple6 ((triple5) -> rule6)) -> rule1)) -> rule7) ((((triple6) -> rule8)) -> rule6)) -> rule2) OR ((((((triple6 ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((((triple6 ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((triple4 triple6) -> rule5)) -> rule2) OR ((((((triple6 ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((((triple6 ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((((triple6) -> rule8)) -> rule6)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1)) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1)) -> rule7) ((triple4 triple6) -> rule5)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1)) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1)) -> rule7) ((((triple6) -> rule8)) -> rule6)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((triple5) -> rule6)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((triple4 triple6) -> rule5)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple5 ((triple5) -> rule6)) -> rule3) ((((triple6) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((((triple6) -> rule8)) -> rule6)) -> rule2))] @3: Charlie is kind.[(((((((triple3) -> rule9)) -> rule8)) -> rule6))] @4: Charlie is nice.[(((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule8)) -> rule6)) -> rule1))] @5: Charlie is smart.[(((((((triple3) -> rule9) ((((((triple3) -> rule9)) -> rule8)) -> rule6)) -> rule1)) -> rule7))]