Charlie is kind. Harry is blue. All kind people are quiet. If Harry is nice then Harry is big. Green, kind people are quiet.
Harry is not big.
@0: Charlie is kind.[(triple1)] Harry is blue.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule1))]