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