Charlie is furry. Charlie is red. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is furry. Dave is not kind. Dave is red. Dave is not smart. Dave is white. Erin is not big. Erin is cold. Erin is not kind. Erin is smart. Erin is white. Furry people are red.
Dave is kind.
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2 OR ((triple1) -> rule1))] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is not kind.[(triple8)] Dave is not smart.[(triple10)] Dave is red.[(triple9 OR ((triple7) -> rule1))] Dave is white.[(triple11)] Erin is cold.[(triple13)] Erin is not big.[(triple12)] Erin is not kind.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16)]