Erin is furry. Erin is green. Erin is quiet. If someone is quiet then they are red. If someone is quiet and smart then they are furry. Cold people are smart.
Erin is quiet.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is red.[(((triple3) -> rule1))]