Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. All round things are cold. If something is red and not white then it is rough.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple6) -> rule1))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)]