Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is white. Dave is furry. Dave is kind. Dave is smart. Harry is furry. Harry is white. All big people are white.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is white.[(triple5 OR ((triple1) -> rule1))] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is smart.[(triple8)] Harry is furry.[(triple9)] Harry is white.[(triple10)]