Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is smart. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is smart. All kind, green things are blue.
Dave is smart.
@0: Dave is blue.[(triple1 OR ((triple4 triple3) -> rule1))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Erin is blue.[(triple8 OR ((triple11 triple10) -> rule1))] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is smart.[(triple14)]