Bob is blue. Bob is not quiet. Bob is rough. Bob is smart. Bob is white. Charlie is not blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Gary is blue. Gary is quiet. Gary is white. Rough things are cold. If Gary is smart then Gary is white. If Gary is rough and Gary is not cold then Gary is smart.
Charlie is blue.
@0: Bob is blue.[(triple1)] Bob is not quiet.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple7 OR ((triple10) -> rule1))] Charlie is furry.[(triple8)] Charlie is not blue.[(triple6)] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] Charlie is smart.[(triple11)] Charlie is white.[(triple12)] Gary is blue.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] @1: Bob is cold.[(((triple3) -> rule1))]