Anne is kind. Anne is nice. Anne is white. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Dave is kind. Dave is quiet. Dave is rough. Nice, quiet things are kind. All rough things are quiet. Young, kind things are white. All rough, blue things are young. All quiet things are white. Blue things are quiet.
Dave is not young.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple6) -> rule1))] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is young.[(triple7)] Dave is kind.[(triple8)] Dave is quiet.[(triple9 OR ((triple10) -> rule2))] Dave is rough.[(triple10)] @1: Charlie is white.[(((triple6) -> rule5) OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple5 triple6) -> rule1)) -> rule3))] Dave is white.[(((triple9) -> rule5) OR ((((triple10) -> rule2)) -> rule5))]