Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is red. Bob is not rough. Bob is young. Charlie is cold. Charlie is quiet. Charlie is rough. Gary is blue. Gary is young. Young, cold things are not rough.
Charlie is not young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not rough.[(triple6 OR ((triple7 triple2) -> rule1))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] Gary is blue.[(triple11)] Gary is young.[(triple12)]