Charlie is furry. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Dave is kind. Dave is rough. Dave is round. Dave is smart. Gary is furry. All round people are white. If Dave is smart then Dave is white.
Dave is kind.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is kind.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Gary is furry.[(triple10)] @1: Dave is white.[(((triple8) -> rule1) OR ((triple9) -> rule2))]