Bob is furry. Bob is not kind. Bob is young. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is not kind. Charlie is not red. Charlie is young. Gary is cold. Harry is furry. Harry is not red. If Gary is young and Gary is green then Gary is not cold. If someone is kind and young then they are furry.
Charlie is not cold.
@0: Bob is furry.[(triple1)] Bob is not kind.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is not cold.[(triple4)] Charlie is not kind.[(triple7)] Charlie is not red.[(triple8)] Charlie is young.[(triple9)] Gary is cold.[(triple10)] Harry is furry.[(triple11)] Harry is not red.[(triple12)]