Charlie is blue. Charlie is smart. Harry is white. All blue things are quiet. Smart, young things are cold. Cold things are smart. All cold things are smart. All cold things are quiet. Blue things are smart. Young, blue things are white. If something is blue and white then it is round.
Harry is white.
@0: Charlie is blue.[(triple1)] Charlie is smart.[(triple2 OR ((triple1) -> rule6))] Harry is white.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule1))]