Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is young. Fiona is green. Fiona is nice. Fiona is white. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. Big, green things are young. Green, round things are quiet.
Erin is quiet.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple2 triple5) -> rule2))] Erin is round.[(triple5)] Erin is young.[(triple6 OR ((triple1 triple2) -> rule1))] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is white.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13 OR ((triple11 triple14) -> rule2))] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple10 triple11) -> rule1))]