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