Harry is smart. All green people are round. All red, big people are white. If someone is smart and big then they are white. If someone is big and cold then they are white. All smart people are round. All red people are cold. All white, red people are cold. If Harry is smart and Harry is red then Harry is green.
Harry is not smart.
@0: Harry is smart.[(triple1)] @1: Harry is round.[(((triple1) -> rule5))]