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