Bob is young. Charlie is green. Charlie is not nice. Charlie is red. Charlie is young. Gary is blue. Gary is not nice. Gary is red. Harry is cold. Harry is not green. Blue things are smart.
Charlie is not nice.
@0: Bob is young.[(triple1)] Charlie is green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is red.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6)] Gary is not nice.[(triple7)] Gary is red.[(triple8)] Harry is cold.[(triple9)] Harry is not green.[(triple10)] @1: Gary is smart.[(((triple6) -> rule1))]