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