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