Charlie is blue. Charlie is red. Charlie is round. Fiona is blue. Fiona is red. Harry is green. Harry is young. If something is green then it is round. If something is blue and not green then it is red.
Charlie is not round.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is red.[(triple5)] Harry is green.[(triple6)] Harry is young.[(triple7)] @1: Harry is round.[(((triple6) -> rule1))]