Charlie is quiet. Erin is kind. Gary is green. Harry is blue. All blue things are green. Round things are kind. Quiet things are kind.
Erin is not green.
@0: Charlie is quiet.[(triple1)] Erin is kind.[(triple2)] Gary is green.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is kind.[(((triple1) -> rule3))] Harry is green.[(((triple4) -> rule1))]