Bob is cold. Bob is furry. Bob is kind. Bob is round. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. All round things are cold.
Bob is not round.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is round.[(triple4)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Gary is cold.[(triple9 OR ((triple15) -> rule1))] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)]