Charlie is blue. Charlie is green. Charlie is smart. Charlie is white. Dave is kind. Dave is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. Harry is blue. Harry is cold. Harry is smart. All blue people are white. If Dave is white then Dave is cold. Smart people are big. If someone is white and smart then they are big. If someone is white and smart then they are kind. All kind, white people are green. Kind, big people are green. All smart, white people are kind.
Fiona is not smart.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((((triple3 triple4) -> rule8) triple4) -> rule6) OR ((((triple4 triple3) -> rule5) triple4) -> rule6) OR ((((triple3 triple4) -> rule8) ((triple1) -> rule1)) -> rule6) OR ((((triple3 triple4) -> rule8) ((triple3) -> rule3)) -> rule7) OR ((((triple3 triple4) -> rule8) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple4 triple3) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((triple4 triple3) -> rule5) ((triple3) -> rule3)) -> rule7) OR ((((triple4 triple3) -> rule5) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) triple4) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule5) triple4) -> rule6) OR ((((triple3 triple4) -> rule8) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule6) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((triple3) -> rule3)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple4 triple3) -> rule5) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple3) -> rule3)) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7))] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple1) -> rule1))] Dave is kind.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7 OR ((triple12) -> rule3) OR ((triple13 triple12) -> rule4) OR ((((triple8) -> rule1) triple12) -> rule4))] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple11 triple13) -> rule6) OR ((triple11 triple7) -> rule7) OR ((triple11 ((triple12) -> rule3)) -> rule7) OR ((triple11 ((triple8) -> rule1)) -> rule6) OR ((triple11 ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple12 triple13) -> rule8) triple13) -> rule6) OR ((((triple12 triple13) -> rule8) triple7) -> rule7) OR ((((triple13 triple12) -> rule5) triple13) -> rule6) OR ((((triple13 triple12) -> rule5) triple7) -> rule7) OR ((((triple12 triple13) -> rule8) ((triple12) -> rule3)) -> rule7) OR ((((triple12 triple13) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((triple12 triple13) -> rule8) ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple13 triple12) -> rule5) ((triple12) -> rule3)) -> rule7) OR ((((triple13 triple12) -> rule5) ((triple8) -> rule1)) -> rule6) OR ((((triple13 triple12) -> rule5) ((triple13 triple12) -> rule4)) -> rule7) OR ((triple11 ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) triple13) -> rule6) OR ((((triple12 ((triple8) -> rule1)) -> rule8) triple7) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) triple13) -> rule6) OR ((((((triple8) -> rule1) triple12) -> rule5) triple7) -> rule7) OR ((((triple12 triple13) -> rule8) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((triple12) -> rule3)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple13 triple12) -> rule5) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) ((triple12) -> rule3)) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) ((triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule1) triple12) -> rule5) ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7))] Fiona is kind.[(triple11 OR ((triple12 triple13) -> rule8) OR ((triple13 triple12) -> rule5) OR ((triple12 ((triple8) -> rule1)) -> rule8) OR ((((triple8) -> rule1) triple12) -> rule5))] Fiona is smart.[(triple12)] Fiona is white.[(triple13 OR ((triple8) -> rule1))] Harry is blue.[(triple14)] Harry is cold.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is big.[(((triple3) -> rule3) OR ((triple4 triple3) -> rule4) OR ((((triple1) -> rule1) triple3) -> rule4))] Charlie is kind.[(((triple3 triple4) -> rule8) OR ((triple4 triple3) -> rule5) OR ((triple3 ((triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule1) triple3) -> rule5))] Dave is cold.[(((triple6) -> rule2))] Dave is green.[(((triple5 triple6) -> rule6))] Harry is big.[(((triple16) -> rule3) OR ((((triple14) -> rule1) triple16) -> rule4))] Harry is white.[(((triple14) -> rule1))] @2: Harry is kind.[(((triple16 ((triple14) -> rule1)) -> rule8) OR ((((triple14) -> rule1) triple16) -> rule5))] @3: Harry is green.[(((((triple16 ((triple14) -> rule1)) -> rule8) ((triple14) -> rule1)) -> rule6) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((triple16) -> rule3)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple14) -> rule1)) -> rule6) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple16) -> rule3)) -> rule7) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7))]