Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. If Charlie is young then Charlie is nice. Quiet things are kind.
Charlie is not young.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule2))] Charlie is nice.[(triple3 OR ((triple7) -> rule1))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]