Bob is not blue. Bob is kind. Charlie is white. Dave is not blue. Dave is green. Dave is kind. Dave is red. Fiona is green. Fiona is nice. Fiona is white. Nice people are not kind. If someone is white and not kind then they are green. If Bob is green then Bob is blue.
Bob is not kind.
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1)] Charlie is white.[(triple3)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is not blue.[(triple4)] Dave is red.[(triple7)] Fiona is green.[(triple8 OR ((triple10 ((triple9) -> rule1)) -> rule2))] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is not kind.[(((triple9) -> rule1))]