Dave is cold. Dave is furry. Dave is round. Dave is white. Erin is cold. Erin is furry. Erin is green. Erin is round. Erin is young. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is round. Harry is white. Harry is young. All green, cold people are round. Green, white people are young.
Erin is white.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is round.[(triple3)] Dave is white.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is round.[(triple8 OR ((triple7 triple5) -> rule1))] Erin is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14 OR ((triple12 triple10) -> rule1))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple12 triple15) -> rule2))]