Bob is blue. Bob is cold. Bob is nice. Charlie is kind. Charlie is young. Gary is blue. Harry is kind. Cold people are young. All green people are cold. Green, young people are nice.
Harry is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Charlie is kind.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6)] Harry is kind.[(triple7)] @1: Bob is young.[(((triple2) -> rule1))]