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