Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is white. Fiona is not blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not round. Fiona is white. If something is red and not blue then it is quiet.
Bob is round.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Fiona is green.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not round.[(triple13)] Fiona is quiet.[(triple10 OR ((triple11 triple8) -> rule1))] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is white.[(triple14)]