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