Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is white. If something is big and round then it is blue.
Fiona is not round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple6) -> rule1))] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple8 triple13) -> rule1))] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)]