Bob is red. Erin is kind. Harry is blue. All kind people are furry. All young people are not kind.
Erin is not kind.
@0: Bob is red.[(triple1)] Erin is kind.[(triple2)] Harry is blue.[(triple3)] @1: Erin is furry.[(((triple2) -> rule1))]