Anne is quiet. Bob is green. Erin is young. Harry is young. All blue people are green. If someone is quiet then they are furry. Quiet people are kind.
Erin is quiet.
@0: Anne is quiet.[(triple1)] Bob is green.[(triple2)] Erin is young.[(triple3)] Harry is young.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))] Anne is kind.[(((triple1) -> rule3))]