Anne is green. Anne is kind. Anne is smart. Bob is cold. Bob is smart. Harry is cold. Harry is kind. Harry is nice. Harry is smart. Harry is young. White people are green. Young people are green.
Harry is young.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Bob is cold.[(triple4)] Bob is smart.[(triple5)] Harry is cold.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Harry is green.[(((triple10) -> rule2))]