Bob is blue. Bob is young. Erin is blue. All blue people are furry. All kind people are furry. If Bob is big and Bob is furry then Bob is smart.
Erin is nice.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Erin is blue.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple3) -> rule1))]