Bob is round. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Dave is quiet. Dave is red. Dave is rough. Dave is white. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. Cold, round things are quiet. If something is cold and quiet then it is rough. All round, smart things are white. All white things are quiet. All cold things are smart. Red things are rough.
Charlie is not white.
@0: Bob is round.[(triple1)] Charlie is quiet.[(triple2 OR ((triple7) -> rule4) OR ((((triple5 triple6) -> rule3)) -> rule4))] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple3) -> rule6))] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5 triple6) -> rule3))] Dave is quiet.[(triple8 OR ((triple11) -> rule4))] Dave is red.[(triple9)] Dave is rough.[(triple10 OR ((triple9) -> rule6))] Dave is white.[(triple11)] Fiona is cold.[(triple12)] Fiona is rough.[(triple13 OR ((triple12 ((triple15) -> rule4)) -> rule2))] Fiona is smart.[(triple14 OR ((triple12) -> rule5))] Fiona is white.[(triple15)] @1: Fiona is quiet.[(((triple15) -> rule4))]