Bob is not blue. Bob is not red. Bob is not smart. Dave is not big. Dave is not blue. Dave is furry. Dave is red. Dave is round. Dave is not smart. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is round. Big things are smart. If something is green and not blue then it is round. If Dave is not round then Dave is red.
Erin is not smart.
@0: Bob is not blue.[(triple1)] Bob is not red.[(triple2)] Bob is not smart.[(triple3)] Dave is furry.[(triple6)] Dave is not big.[(triple4)] Dave is not blue.[(triple5)] Dave is not smart.[(triple9)] Dave is red.[(triple7)] Dave is round.[(triple8)] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is red.[(triple14)] Erin is round.[(triple15)] @1: Erin is smart.[(((triple10) -> rule1))]