Charlie is blue. Charlie is not cold. Charlie is green. Charlie is quiet. Charlie is not rough. Charlie is round. Charlie is smart. Fiona is quiet. Fiona is rough. Fiona is smart. Smart, round things are quiet.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not rough.[(triple5)] Charlie is quiet.[(triple4 OR ((triple7 triple6) -> rule1))] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)]