Bob is green. Gary is young. Harry is smart. If something is furry then it is nice. If something is young then it is not smart.
Harry is not smart.
@0: Bob is green.[(triple1)] Gary is young.[(triple2)] Harry is smart.[(triple3)] @1: Gary is not smart.[(((triple2) -> rule2))]