Bob is big. Bob is not cold. Bob is not furry. Bob is red. Bob is rough. Bob is round. Bob is young. Erin is not big. Erin is furry. Erin is red. Erin is rough. Erin is young. If someone is furry then they are rough. If someone is big then they are rough.
Erin is round.
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is not furry.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple1) -> rule2))] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple9)] Erin is not big.[(triple8)] Erin is red.[(triple10)] Erin is rough.[(triple11 OR ((triple9) -> rule1))] Erin is young.[(triple12)]