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