Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is round. Charlie is not white. Charlie is young. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is white. Dave is young. All furry, young things are cold.
Dave is furry.
@0: Charlie is cold.[(triple1 OR ((triple2 triple7) -> rule1))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not white.[(triple6)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple7)] Dave is cold.[(triple8 OR ((triple9 triple14) -> rule1))] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Dave is white.[(triple13)] Dave is young.[(triple14)]