Bob is not blue. Bob is quiet. Bob is young. Dave is not blue. Dave is not kind. Dave is nice. Dave is not quiet. Dave is red. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. Gary is kind. Gary is red. Blue, red people are young. Kind, green people are young. Green, blue people are red. If Dave is green and Dave is not kind then Dave is not red. If Dave is young then Dave is not blue. If Bob is not green then Bob is blue. All kind people are quiet. If Dave is young then Dave is not nice.
Fiona is nice.
@0: Bob is not blue.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Dave is nice.[(triple6)] Dave is not blue.[(triple4)] Dave is not kind.[(triple5)] Dave is not quiet.[(triple7)] Dave is red.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Fiona is young.[(triple13 OR ((triple9 triple12) -> rule1))] Gary is kind.[(triple14)] Gary is red.[(triple15)] @1: Fiona is quiet.[(((triple10) -> rule7))] Gary is quiet.[(((triple14) -> rule7))]