Bob is big. Bob is not cold. Bob is kind. Bob is rough. Bob is round. Bob is smart. Bob is young. If someone is round and smart then they are young.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple3)] Bob is not cold.[(triple2)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple5 triple6) -> rule1))]