Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Fiona is green. Fiona is nice. Fiona is round. Fiona is young. Harry is round. Harry is young. All big people are young. Green, quiet people are big. If Harry is round and Harry is not big then Harry is nice.
Fiona is not green.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Charlie is young.[(((triple1) -> rule1))]