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