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