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