Anne is kind. Anne is rough. Fiona is blue. Fiona is kind. Fiona is not quiet. Fiona is not rough. Fiona is smart. Gary is blue. Gary is green. Gary is kind. Gary is not quiet. Gary is not rough. Gary is smart. Gary is white. Harry is quiet. Harry is rough. If something is green then it is smart. All white things are smart. White, kind things are green. All kind things are green. Smart, white things are blue. If Harry is blue and Harry is not rough then Harry is not smart.
Harry is not blue.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is not rough.[(triple6)] Fiona is smart.[(triple7 OR ((((triple4) -> rule4)) -> rule1))] Gary is blue.[(triple8 OR ((triple13 triple14) -> rule5) OR ((((triple14) -> rule2) triple14) -> rule5) OR ((((triple9) -> rule1) triple14) -> rule5) OR ((((((triple10) -> rule4)) -> rule1) triple14) -> rule5) OR ((((((triple14 triple10) -> rule3)) -> rule1) triple14) -> rule5))] Gary is green.[(triple9 OR ((triple10) -> rule4) OR ((triple14 triple10) -> rule3))] Gary is kind.[(triple10)] Gary is not quiet.[(triple11)] Gary is not rough.[(triple12)] Gary is smart.[(triple13 OR ((triple14) -> rule2) OR ((triple9) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((triple14 triple10) -> rule3)) -> rule1))] Gary is white.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16)] @1: Anne is green.[(((triple1) -> rule4))] Fiona is green.[(((triple4) -> rule4))] @2: Anne is smart.[(((((triple1) -> rule4)) -> rule1))]