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