Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is white. Charlie is cold. Charlie is quiet. Charlie is rough. Charlie is young. Gary is kind. Gary is not rough. Gary is young. Harry is cold. Harry is kind. Harry is quiet. Harry is young. All rough, young things are not kind.
Gary is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Charlie is young.[(triple9)] Gary is kind.[(triple10)] Gary is not rough.[(triple11)] Gary is young.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is young.[(triple16)] @1: Charlie is not kind.[(((triple8 triple9) -> rule1))]