Charlie is big. Harry is rough. All blue, big things are nice. If Charlie is big then Charlie is furry. Nice, rough things are green.
Harry is not nice.
@0: Charlie is big.[(triple1)] Harry is rough.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule2))]