Bob is furry. Bob is red. Bob is not smart. Dave is big. Dave is kind. Erin is not red. Erin is not smart. All kind people are smart.
Erin is furry.
@0: Bob is furry.[(triple1)] Bob is not smart.[(triple3)] Bob is red.[(triple2)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Erin is not red.[(triple6)] Erin is not smart.[(triple7)] @1: Dave is smart.[(((triple5) -> rule1))]