Charlie is blue. Charlie is not nice. Charlie is rough. Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is white. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is rough. Fiona is white. If something is blue then it is white. Red things are blue. Blue, red things are nice. If Dave is not blue then Dave is not rough. If something is kind and not blue then it is quiet. Nice, quiet things are kind.
Dave is not white.
@0: Charlie is blue.[(triple1)] Charlie is not nice.[(triple2)] Charlie is rough.[(triple3)] Dave is blue.[(triple4 OR ((triple8) -> rule2))] Dave is kind.[(triple5 OR ((triple6 triple7) -> rule6) OR ((((triple4 triple8) -> rule3) triple7) -> rule6) OR ((((((triple8) -> rule2) triple8) -> rule3) triple7) -> rule6))] Dave is nice.[(triple6 OR ((triple4 triple8) -> rule3) OR ((((triple8) -> rule2) triple8) -> rule3))] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9 OR ((triple4) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Fiona is blue.[(triple10)] Fiona is kind.[(triple11)] Fiona is not red.[(triple13)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple14)] Fiona is white.[(triple15 OR ((triple10) -> rule1))] @1: Charlie is white.[(((triple1) -> rule1))]