Bob is cold. Bob is nice. Bob is not red. Bob is young. Charlie is not blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is young. Gary is blue. Gary is cold. Gary is not furry. Gary is nice. Gary is red. Gary is round. Gary is young. All furry people are nice. All young, blue people are cold. If someone is blue and not nice then they are cold.
Charlie is young.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is not red.[(triple3)] Bob is young.[(triple4)] Charlie is cold.[(triple6)] Charlie is not blue.[(triple5)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11 OR ((triple16 triple10) -> rule2))] Gary is nice.[(triple13)] Gary is not furry.[(triple12)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)]