Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is young. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is young. Round, cold people are green.
Erin is not quiet.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple1) -> rule1))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10 OR ((triple13 triple8) -> rule1))] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14)]