Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Erin is big. Erin is furry. Erin is kind. Erin is smart. Erin is young. All kind, quiet people are furry.
Erin is quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple4 triple5) -> rule1))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)]