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