Anne is blue. Anne is red. Anne is smart. Anne is young. Fiona is big. Fiona is blue. Fiona is red. Fiona is round. Fiona is smart. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is round. Gary is smart. Gary is young. Round, red things are big. If Anne is round then Anne is red.
Anne is not big.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Fiona is big.[(triple5 OR ((triple8 triple7) -> rule1))] Fiona is blue.[(triple6)] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Gary is big.[(triple10 OR ((triple14 triple13) -> rule1))] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)]