Anne is young. Charlie is young. Dave is quiet. Harry is nice. If someone is white and not green then they are cold. All green people are cold. White people are young. If someone is white then they are kind. Cold people are kind. If Charlie is young then Charlie is not quiet. If someone is young and not green then they are white. If someone is cold then they are white.
Anne is not young.
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Dave is quiet.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is not quiet.[(((triple2) -> rule6))]