Charlie is not furry. Charlie is not green. Charlie is rough. Charlie is white. Dave is cold. Dave is furry. Erin is furry. Erin is green. Erin is not rough. Harry is cold. Harry is furry. Harry is round. Green people are furry. If someone is green and not young then they are not cold.
Dave is not white.
@0: Charlie is not furry.[(triple1)] Charlie is not green.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule1))] Erin is green.[(triple8)] Erin is not rough.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)]