Erin is cold. Erin is furry. Erin is round. Harry is cold. Harry is furry. Harry is green. Harry is round. Harry is smart. Harry is white. Harry is young. All green, furry people are cold.
Erin is not white.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is round.[(triple3)] Harry is cold.[(triple4 OR ((triple6 triple5) -> rule1))] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)]