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