Bob is not big. Bob is blue. Bob is furry. Bob is green. Bob is round. Bob is not white. Dave is not blue. Dave is green. Dave is round. Erin is big. Erin is not blue. Erin is furry. Erin is quiet. Erin is round. Erin is not white. If Dave is white and Dave is green then Dave is big. All big people are round.
Dave is not big.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not big.[(triple1)] Bob is not white.[(triple6)] Bob is round.[(triple5)] Dave is green.[(triple8)] Dave is not blue.[(triple7)] Dave is round.[(triple9)] Erin is big.[(triple10)] Erin is furry.[(triple12)] Erin is not blue.[(triple11)] Erin is not white.[(triple15)] Erin is quiet.[(triple13)] Erin is round.[(triple14 OR ((triple10) -> rule2))]