Charlie is not quiet. Charlie is not round. Charlie is white. Dave is cold. Dave is kind. Dave is not white. Gary is green. Harry is cold. Harry is not kind. Harry is not quiet. Blue, kind people are green. If Dave is green then Dave is blue. If someone is round then they are quiet. Green people are white. All kind, white people are not blue. If Harry is cold and Harry is not green then Harry is quiet.
Harry is not kind.
@0: Charlie is not quiet.[(triple1)] Charlie is not round.[(triple2)] Charlie is white.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is not white.[(triple6)] Gary is green.[(triple7)] Harry is cold.[(triple8)] Harry is not kind.[(triple9)] Harry is not quiet.[(triple10)] @1: Gary is white.[(((triple7) -> rule4))]