Harry is not big. Harry is green. Harry is smart. If someone is smart then they are green. All cold, smart people are not green. If someone is green and not cold then they are not quiet. Cold, nice people are not quiet. If someone is big and not smart then they are quiet. All cold, smart people are quiet.
Harry is not green.
@0: Harry is green.[(triple2 OR ((triple3) -> rule1))] Harry is not big.[(triple1)] Harry is smart.[(triple3)]