Bob is not blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is white. Bob is young. Dave is blue. Dave is not cold. Dave is furry. Dave is not kind. Dave is red. Dave is white. Dave is young. If someone is white and not kind then they are red.
Bob is not blue.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is not blue.[(triple1)] Bob is red.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple10)] Dave is not cold.[(triple9)] Dave is not kind.[(triple11)] Dave is red.[(triple12 OR ((triple13 triple11) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14)]