Anne is smart. Gary is nice. If Anne is nice and Anne is not kind then Anne is not green. Nice things are not green. Furry, kind things are smart.
Anne is not round.
@0: Anne is smart.[(triple1)] Gary is nice.[(triple2)] @1: Gary is not green.[(((triple2) -> rule2))]