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