Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is white. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Blue, quiet things are furry.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7 OR ((triple6 triple9) -> rule1))] Dave is kind.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12)] Gary is furry.[(triple13)] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Charlie is furry.[(((triple1 triple3) -> rule1))]