Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Erin is furry. Harry is blue. Harry is furry. All cold, quiet things are nice.
Harry is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple2 triple6) -> rule1))] Anne is quiet.[(triple6)] Anne is round.[(triple7)] Erin is furry.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)]