Anne is kind. Anne is quiet. Anne is rough. Anne is not round. Anne is smart. Anne is white. Charlie is rough. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Gary is not quiet. Gary is smart. If someone is young and not kind then they are not round. If someone is kind and smart then they are rough. If Charlie is not kind then Charlie is not rough. If someone is rough and round then they are white. Smart, rough people are young. If Fiona is not quiet then Fiona is white.
Charlie is white.
@0: Anne is kind.[(triple1)] Anne is not round.[(triple4)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((triple1 triple5) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Charlie is rough.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10 OR ((triple8 triple12) -> rule2))] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13 OR ((triple10 triple11) -> rule4) OR ((((triple8 triple12) -> rule2) triple11) -> rule4))] Gary is not quiet.[(triple14)] Gary is smart.[(triple15)] @1: Anne is young.[(((triple5 triple3) -> rule5) OR ((triple5 ((triple1 triple5) -> rule2)) -> rule5))] Fiona is young.[(((triple12 triple10) -> rule5) OR ((triple12 ((triple8 triple12) -> rule2)) -> rule5))]