Bob is furry. Bob is red. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is not red. Charlie is not smart. Charlie is white. Dave is kind. Dave is red. Dave is not smart. Dave is white. Fiona is furry. Fiona is smart. Fiona is white. All blue things are white. All smart, kind things are white. Blue, red things are kind.
Charlie is not kind.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is not red.[(triple6)] Charlie is not smart.[(triple7)] Charlie is white.[(triple8 OR ((triple3) -> rule1))] Dave is kind.[(triple9)] Dave is not smart.[(triple11)] Dave is red.[(triple10)] Dave is white.[(triple12)] Fiona is furry.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)]