Charlie is not big. Charlie is not cold. Charlie is not nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is not young. Big, rough things are not young. If something is rough then it is not young. All big, round things are cold. Young, quiet things are not cold. Young, round things are not big. All cold things are nice.
Charlie is not quiet.
@0: Charlie is not big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not young.[(triple7 OR ((triple5) -> rule2))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)]