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