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