Dave is kind. Dave is quiet. Erin is smart. All quiet things are smart. If something is furry and smart then it is white. Kind things are big.
Erin is not smart.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2)] Erin is smart.[(triple3)] @1: Dave is big.[(((triple1) -> rule3))] Dave is smart.[(((triple2) -> rule1))]