Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is white. Dave is blue. Dave is nice. Dave is rough. Dave is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is white. Cold, nice people are red.
Dave is blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple3 triple4) -> rule1))] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10)] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is red.[(((triple13 triple14) -> rule1))]