Anne is furry. Anne is round. Charlie is furry. Charlie is round. Erin is not cold. Erin is not quiet. Erin is white. Harry is cold. Harry is furry. Harry is quiet. Harry is round. Harry is white. If something is white and furry then it is cold.
Harry is kind.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Charlie is furry.[(triple3)] Charlie is round.[(triple4)] Erin is not cold.[(triple5)] Erin is not quiet.[(triple6)] Erin is white.[(triple7)] Harry is cold.[(triple8 OR ((triple12 triple9) -> rule1))] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]