Anne is red. Anne is not rough. Anne is smart. Fiona is big. Fiona is green. Fiona is not red. Fiona is rough. Fiona is smart. Fiona is not young. Gary is not big. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. If someone is young then they are red. If someone is round and not red then they are not big.
Anne is big.
@0: Anne is not rough.[(triple2)] Anne is red.[(triple1)] Anne is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Fiona is not red.[(triple6)] Fiona is not young.[(triple9)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is green.[(triple11)] Gary is not big.[(triple10)] Gary is red.[(triple12 OR ((triple15) -> rule1))] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]