Anne is red. Anne is round. Anne is young. Fiona is rough. Fiona is round. Fiona is young. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is rough. Harry is white. Harry is not young. If something is rough and round then it is red. If something is white and not quiet then it is rough. If something is red then it is not nice.
Gary is red.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is young.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple9 triple10) -> rule1))] Gary is rough.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] Harry is not young.[(triple15)] Harry is rough.[(triple13)] Harry is white.[(triple14)] @1: Anne is not nice.[(((triple1) -> rule3))] Fiona is red.[(((triple4 triple5) -> rule1))] Gary is not nice.[(((triple8) -> rule3) OR ((((triple9 triple10) -> rule1)) -> rule3))] @2: Fiona is not nice.[(((((triple4 triple5) -> rule1)) -> rule3))]