Bob is furry. Bob is green. Bob is round. Bob is smart. Bob is young. Charlie is round. Charlie is young. Gary is furry. Gary is nice. Gary is white. Gary is young. Harry is green. All furry things are smart.
Charlie is young.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple1) -> rule1))] Bob is young.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is green.[(triple12)] @1: Gary is smart.[(((triple8) -> rule1))]