Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is smart. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is white. Green, white people are blue.
Dave is white.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Fiona is blue.[(triple12 OR ((triple14 triple16) -> rule1))] Fiona is cold.[(triple13)] Fiona is green.[(triple14)] Fiona is kind.[(triple15)] Fiona is white.[(triple16)]