Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is white. Dave is young. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. Gary is young. Quiet things are round.
Dave is not quiet.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple2) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12 OR ((triple9) -> rule1))] Gary is white.[(triple13)] Gary is young.[(triple14)]