Harry is big. Harry is blue. Harry is green. Big, blue things are red.
Harry is not blue.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is green.[(triple3)] @1: Harry is red.[(((triple1 triple2) -> rule1))]