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