Bob is cold. Bob is green. Bob is rough. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is not cold. Charlie is round. Charlie is smart. Charlie is white. Charlie is not young. Gary is green. Gary is rough. Gary is young. If something is smart and cold then it is round.
Gary is not round.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple5 triple1) -> rule1))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is not cold.[(triple8)] Charlie is not young.[(triple12)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Gary is green.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple15)]