Dave is kind. Dave is nice. Dave is round. If Dave is nice and Dave is furry then Dave is young. If something is round and kind then it is nice.
Dave is not round.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2 OR ((triple3 triple1) -> rule2))] Dave is round.[(triple3)]