Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is smart. Erin is cold. Erin is rough. Fiona is cold. Fiona is round. Fiona is smart. If someone is blue and round then they are kind.
Dave is not green.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple1 triple6) -> rule1))] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Erin is cold.[(triple8)] Erin is rough.[(triple9)] Fiona is cold.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)]