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