Charlie is blue. Charlie is furry. Charlie is smart. Charlie is white. Dave is furry. Dave is green. Erin is furry. Erin is green. Erin is kind. Erin is round. Erin is smart. Erin is white. All white, blue things are furry. If Erin is smart then Erin is white. If Dave is round and Dave is blue then Dave is furry.
Dave is white.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple4 triple1) -> rule1))] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12 OR ((triple11) -> rule2))]