Bob is blue. Bob is smart. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Dave is rough. Dave is smart. Dave is young. Harry is round. Rough people are nice. Cold, smart people are young. If Bob is nice then Bob is round.
Dave is not rough.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4 OR ((triple5) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8 OR ((triple3 triple7) -> rule2))] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Dave is young.[(triple11)] Harry is round.[(triple12)] @1: Dave is nice.[(((triple9) -> rule1))]