Fiona is blue. Fiona is not nice. Fiona is smart. Fiona is white. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is white. All rough things are nice.
Fiona is nice.
@0: Fiona is blue.[(triple1)] Fiona is not nice.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8 OR ((triple9) -> rule1))] Gary is rough.[(triple9)] Gary is white.[(triple10)]