Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is not round. Dave is smart. Fiona is not blue. Fiona is kind. Fiona is not quiet. Fiona is rough. Gary is blue. Gary is not green. Gary is not kind. Gary is not quiet. Gary is rough. If something is smart and blue then it is rough. Kind things are rough. If something is blue and not green then it is smart. If Gary is quiet and Gary is round then Gary is smart. If Fiona is green and Fiona is smart then Fiona is not round. If Fiona is round and Fiona is quiet then Fiona is rough.
Gary is not kind.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not round.[(triple6)] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule2) OR ((triple7 triple1) -> rule1))] Dave is smart.[(triple7)] Fiona is kind.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not quiet.[(triple10)] Fiona is rough.[(triple11 OR ((triple9) -> rule2))] Gary is blue.[(triple12)] Gary is not green.[(triple13)] Gary is not kind.[(triple14)] Gary is not quiet.[(triple15)] Gary is rough.[(triple16 OR ((((triple12 triple13) -> rule3) triple12) -> rule1))] @1: Gary is smart.[(((triple12 triple13) -> rule3))]