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