Anne is green. Anne is red. Anne is white. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is white. Gary is young. All quiet people are young.
Fiona is white.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9 OR ((triple6) -> rule1))] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple12) -> rule1))]