Anne is rough. Anne is smart. Anne is white. Anne is young. Fiona is big. Fiona is cold. Fiona is smart. Gary is cold. Gary is smart. Gary is white. All cold people are rough.
Anne is quiet.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is smart.[(triple7)] Gary is cold.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Fiona is rough.[(((triple6) -> rule1))] Gary is rough.[(((triple8) -> rule1))]