Charlie is red. Dave is round. Harry is green. Round people are kind.
Charlie is not red.
@0: Charlie is red.[(triple1)] Dave is round.[(triple2)] Harry is green.[(triple3)] @1: Dave is kind.[(((triple2) -> rule1))]