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