Dave is big. Dave is blue. Dave is furry. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is furry. Erin is not kind. Erin is quiet. Erin is smart. Erin is not young. Young, blue people are quiet. If someone is big and not smart then they are quiet.
Erin is quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is not kind.[(triple9)] Erin is not young.[(triple12)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] @1: Dave is quiet.[(((triple5 triple2) -> rule1))]