Dave is not nice. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is big. Fiona is blue. Fiona is nice. Fiona is red. Fiona is not rough. Fiona is not smart. Fiona is white. If someone is nice and big then they are white. Rough, big people are white.
Dave is blue.
@0: Dave is not nice.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is not rough.[(triple10)] Fiona is not smart.[(triple11)] Fiona is red.[(triple9)] Fiona is white.[(triple12 OR ((triple8 triple6) -> rule1))]