Anne is quiet. Bob is smart. Gary is young. If Anne is quiet then Anne is young. If something is blue then it is quiet. If something is young and smart then it is nice.
Gary is not nice.
@0: Anne is quiet.[(triple1)] Bob is smart.[(triple2)] Gary is young.[(triple3)] @1: Anne is young.[(((triple1) -> rule1))]