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