Charlie is young. Gary is smart. Harry is quiet. If someone is quiet and blue then they are smart. If Gary is smart then Gary is quiet. All blue people are quiet. If someone is round and young then they are smart. All quiet people are smart. All blue, young people are quiet.
Charlie is not young.
@0: Charlie is young.[(triple1)] Gary is smart.[(triple2)] Harry is quiet.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule2))] Harry is smart.[(((triple3) -> rule5))]