Charlie is blue. Charlie is green. Charlie is not round. Fiona is not big. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is round. Fiona is white. If Charlie is not cold then Charlie is blue. If something is big and not white then it is blue. All white, big things are blue. If Charlie is cold then Charlie is big. Green, white things are quiet. If something is quiet and not cold then it is big. Cold things are not big. If Fiona is round and Fiona is not quiet then Fiona is blue.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is not round.[(triple3)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is not big.[(triple4 OR ((triple6) -> rule7))] Fiona is not green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)]