Bob is nice. Dave is green. Dave is nice. Dave is red. Dave is white. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Harry is red. Harry is smart. Harry is white. If Harry is nice then Harry is smart. All smart, green people are nice.
Bob is red.
@0: Bob is nice.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8 OR ((triple11 triple7) -> rule2))] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)]