Anne is blue. Anne is green. Charlie is big. Charlie is blue. Charlie is red. Charlie is not round. Charlie is smart. Charlie is young. Fiona is big. Fiona is red. Fiona is round. Gary is blue. Gary is not green. Gary is not red. Gary is not round. Gary is not young. If something is round then it is green. If something is red and not smart then it is not green.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is not round.[(triple6)] Charlie is red.[(triple5)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Fiona is big.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Gary is blue.[(triple12)] Gary is not green.[(triple13)] Gary is not red.[(triple14)] Gary is not round.[(triple15)] Gary is not young.[(triple16)] @1: Fiona is green.[(((triple11) -> rule1))]