Bob is blue. Bob is cold. Bob is green. Bob is rough. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Gary is cold. Gary is kind. Gary is quiet. Gary is rough. Rough, green people are kind.
Charlie is not rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] @1: Bob is kind.[(((triple4 triple3) -> rule1))]