Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is smart. Anne is young. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is round. Dave is smart. Dave is young. All big people are kind.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple1) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11 OR ((triple8) -> rule1))] Dave is round.[(triple12)] Dave is smart.[(triple13)] Dave is young.[(triple14)]