Dave is green. Dave is nice. Dave is not quiet. Dave is red. Dave is round. Dave is not smart. Dave is young. Erin is quiet. Erin is round. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is not red. Fiona is round. Fiona is not smart. Fiona is young. All red things are young. If something is nice and not round then it is smart. All nice, smart things are red.
Erin is not smart.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is not smart.[(triple6)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple7 OR ((triple4) -> rule1))] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Fiona is nice.[(triple11)] Fiona is not green.[(triple10)] Fiona is not red.[(triple13)] Fiona is not smart.[(triple15)] Fiona is quiet.[(triple12)] Fiona is round.[(triple14)] Fiona is young.[(triple16)]