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