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