Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. All round, rough people are white. If someone is cold and smart then they are quiet. Smart, round people are red.
Charlie is not white.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2 OR ((triple1 triple6) -> rule2))] Charlie is red.[(triple3 OR ((triple6 triple5) -> rule3))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5 triple4) -> rule1))]