Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is young. Charlie is green. Charlie is round. Charlie is young. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Furry, green things are young.
Charlie is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple3 triple4) -> rule1))] Charlie is green.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)] @1: Gary is young.[(((triple13 triple14) -> rule1))]