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