Bob is big. Bob is blue. Bob is furry. Bob is rough. Bob is round. Bob is white. Bob is young. Gary is big. Gary is blue. Gary is furry. Gary is rough. Gary is round. Gary is white. Gary is young. Big things are furry.
Bob is young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple1) -> rule1))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10 OR ((triple8) -> rule1))] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]