Charlie is red. Gary is quiet. Harry is furry. Quiet people are kind. If someone is nice and big then they are red.
Charlie is quiet.
@0: Charlie is red.[(triple1)] Gary is quiet.[(triple2)] Harry is furry.[(triple3)] @1: Gary is kind.[(((triple2) -> rule1))]