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