Charlie is not blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Harry is blue. Harry is cold. Harry is green. Harry is round. All quiet things are young. If Harry is round and Harry is not green then Harry is quiet. All blue things are white. If something is white and not cold then it is blue. If something is white and not cold then it is blue. If something is white and not quiet then it is not blue.
Harry is not round.
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)] @1: Charlie is young.[(((triple4) -> rule1))] Harry is white.[(((triple7) -> rule3))]