Bob is blue. Bob is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is round. Dave is big. Dave is blue. Dave is furry. Dave is young. Gary is big. Gary is blue. Round people are kind.
Dave is not kind.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5 OR ((triple6) -> rule1))] Charlie is round.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is young.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)]