Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is not red. Fiona is rough. Fiona is round. Fiona is young. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. Quiet, round things are rough.
Gary is quiet.
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is not red.[(triple4)] Fiona is quiet.[(triple3)] Fiona is rough.[(triple5 OR ((triple3 triple6) -> rule1))] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12 OR ((triple10 triple13) -> rule1))] Gary is round.[(triple13)] Gary is young.[(triple14)]