Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. All blue people are green.
Fiona is green.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple1) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10 OR ((triple8) -> rule1))] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)]