Bob is blue. Bob is furry. Bob is round. Bob is smart. Bob is not white. Dave is blue. Dave is furry. Dave is nice. Dave is smart. Dave is white. If something is round then it is nice. All smart, furry things are nice. If something is furry and not blue then it is round.
Dave is white.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is not white.[(triple5)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8 OR ((triple9 triple7) -> rule2))] Dave is smart.[(triple9)] Dave is white.[(triple10)] @1: Bob is nice.[(((triple3) -> rule1) OR ((triple4 triple2) -> rule2))]