Charlie is furry. Charlie is not nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Dave is not furry. Dave is nice. Dave is young. Gary is not furry. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is smart. If Gary is kind then Gary is smart. If Charlie is young and Charlie is not furry then Charlie is not kind.
Dave is round.
@0: Charlie is furry.[(triple1)] Charlie is not nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6)] Dave is nice.[(triple8)] Dave is not furry.[(triple7)] Dave is young.[(triple9)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is not furry.[(triple10)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple11) -> rule1))]