Harry is big. Harry is blue. Harry is smart. Big, blue things are smart. White, cold things are smart. If something is big and not cold then it is smart. If something is smart and not cold then it is rough. All rough, white things are blue. Blue things are young.
Harry is white.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is smart.[(triple3 OR ((triple1 triple2) -> rule1))] @1: Harry is young.[(((triple2) -> rule6))]