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