Anne is nice. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Dave is cold. Dave is rough. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. If something is rough and not green then it is nice. All kind, rough things are nice. If Fiona is nice and Fiona is kind then Fiona is cold. If Dave is cold then Dave is nice. If Fiona is quiet and Fiona is not kind then Fiona is not rough. If something is green and not rough then it is blue.
Dave is not green.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6 OR ((triple5 triple8) -> rule2))] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Dave is cold.[(triple9)] Dave is rough.[(triple10)] Fiona is blue.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] @1: Dave is nice.[(((triple9) -> rule4))] Fiona is nice.[(((triple13 triple15) -> rule2))] @2: Fiona is cold.[(((((triple13 triple15) -> rule2) triple13) -> rule3))]