Anne is green. Anne is nice. Anne is rough. Bob is blue. Bob is kind. Bob is smart. Dave is blue. Dave is green. Dave is not kind. Dave is nice. Dave is not smart. Fiona is blue. Fiona is not green. Fiona is not kind. Fiona is red. If someone is nice and not red then they are blue. Kind, red people are not blue. If Fiona is green and Fiona is kind then Fiona is rough. If someone is rough then they are kind. If Anne is blue and Anne is not nice then Anne is green. If someone is rough and red then they are green.
Bob is not green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5)] Bob is smart.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple10)] Dave is not kind.[(triple9)] Dave is not smart.[(triple11)] Fiona is blue.[(triple12)] Fiona is not green.[(triple13)] Fiona is not kind.[(triple14)] Fiona is red.[(triple15)] @1: Anne is kind.[(((triple3) -> rule4))]