Anne is furry. Anne is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is white. Charlie is young. Dave is blue. Dave is cold. Dave is furry. Harry is blue. Harry is cold. Harry is furry. Harry is white. Cold, young things are nice. If something is big and furry then it is young.
Dave is not cold.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6 OR ((triple5 triple8) -> rule1))] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Dave is blue.[(triple9)] Dave is cold.[(triple10)] Dave is furry.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is white.[(triple15)]