Anne is nice. Anne is not white. Dave is big. Dave is furry. Dave is quiet. Dave is smart. Erin is not quiet. Erin is not smart. Erin is white. Gary is big. Gary is not cold. Gary is furry. Gary is nice. Gary is quiet. Gary is smart. All cold, furry people are white. If someone is big then they are white. If someone is nice and not cold then they are smart.
Dave is not quiet.
@0: Anne is nice.[(triple1)] Anne is not white.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Erin is not quiet.[(triple7)] Erin is not smart.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10)] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is not cold.[(triple11)] Gary is quiet.[(triple14)] Gary is smart.[(triple15 OR ((triple13 triple11) -> rule3))] @1: Dave is white.[(((triple3) -> rule2))] Gary is white.[(((triple10) -> rule2))]