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