Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Gary is quiet. Gary is red. Gary is rough. Harry is kind. Harry is red. Harry is smart. Harry is young. Kind, nice things are red.
Gary is nice.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7)] Gary is rough.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Bob is red.[(((triple1 triple2) -> rule1))]