Anne is quiet. Harry is quiet. Harry is red. All smart, young people are quiet. If someone is big and smart then they are red. Quiet people are smart.
Harry is not quiet.
@0: Anne is quiet.[(triple1)] Harry is quiet.[(triple2)] Harry is red.[(triple3)] @1: Anne is smart.[(((triple1) -> rule3))] Harry is smart.[(((triple2) -> rule3))]