Bob is kind. Charlie is red. Erin is young. Gary is kind. All young people are quiet. If Gary is kind then Gary is quiet. Blue people are green.
Bob is quiet.
@0: Bob is kind.[(triple1)] Charlie is red.[(triple2)] Erin is young.[(triple3)] Gary is kind.[(triple4)] @1: Erin is quiet.[(((triple3) -> rule1))] Gary is quiet.[(((triple4) -> rule2))]