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