Bob is cold. Bob is rough. Bob is smart. Bob is young. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Cold, rough things are young.
Bob is smart.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4 OR ((triple1 triple2) -> rule1))] Charlie is cold.[(triple5)] Charlie is nice.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10 OR ((triple5 triple8) -> rule1))]