Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is young. Fiona is not blue. Fiona is green. Fiona is kind. Fiona is red. Harry is red. All nice people are not green. If someone is red and not young then they are not kind. If Harry is nice and Harry is not blue then Harry is kind. Blue, red people are not round. If Dave is young and Dave is not blue then Dave is round. All nice, blue people are not red.
Harry is not kind.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is not blue.[(triple6)] Fiona is red.[(triple9)] Harry is red.[(triple10)] @1: Dave is not green.[(((triple2) -> rule1))]