Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is smart. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. If Dave is cold then Dave is red.
Fiona is rough.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple2) -> rule1))] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)]