Charlie is red. Charlie is young. Harry is red. All kind things are cold. If Harry is red then Harry is smart. If Charlie is smart and Charlie is young then Charlie is blue. All quiet, blue things are cold. Blue, quiet things are kind. Red things are blue.
Charlie is quiet.
@0: Charlie is red.[(triple1)] Charlie is young.[(triple2)] Harry is red.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule6))] Harry is blue.[(((triple3) -> rule6))] Harry is smart.[(((triple3) -> rule2))]