Dave is blue. Dave is furry. Dave is not green. Dave is kind. Dave is red. Dave is smart. Dave is not white. Fiona is blue. Fiona is furry. Fiona is not green. Fiona is kind. Fiona is white. If something is red then it is furry. Red, kind things are furry. All white things are furry. If Dave is furry then Dave is red. If something is smart and not furry then it is blue. If something is red and not furry then it is green.
Fiona is not red.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple5) -> rule1) OR ((triple5 triple4) -> rule2))] Dave is kind.[(triple4)] Dave is not green.[(triple3)] Dave is not white.[(triple7)] Dave is red.[(triple5 OR ((triple2) -> rule4))] Dave is smart.[(triple6)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9 OR ((triple12) -> rule3))] Fiona is kind.[(triple11)] Fiona is not green.[(triple10)] Fiona is white.[(triple12)]