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