Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is white. Blue, red things are green.
Harry is not smart.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2 OR ((triple1 triple5) -> rule1))] Harry is kind.[(triple3)] Harry is quiet.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]