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