Bob is quiet. Bob is round. Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. Cold, white things are quiet.
Charlie is not round.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6 OR ((triple4 triple9) -> rule1))] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is quiet.[(triple13 OR ((triple11 triple16) -> rule1))] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16)]