Bob is not blue. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is not rough. Bob is white. Fiona is not blue. Fiona is kind. Fiona is not nice. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is white. If someone is rough and not kind then they are quiet. All nice people are quiet.
Fiona is not blue.
@0: Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not rough.[(triple6)] Bob is quiet.[(triple4 OR ((triple3) -> rule2))] Bob is red.[(triple5)] Bob is white.[(triple7)] Fiona is kind.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not nice.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is white.[(triple14)]