Bob is white. Erin is white. Harry is quiet. If someone is white then they are young. Young, quiet people are nice. If someone is rough and quiet then they are young.
Erin is not white.
@0: Bob is white.[(triple1)] Erin is white.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is young.[(((triple1) -> rule1))] Erin is young.[(((triple2) -> rule1))]