Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Cold, quiet things are rough.
Erin is not quiet.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple1 triple4) -> rule1))] Bob is smart.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13 OR ((triple8 triple11) -> rule1))] Erin is smart.[(triple14)]