Bob is furry. Bob is not quiet. Bob is not red. Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is not young. Erin is young. Harry is not blue. Harry is nice. Harry is not quiet. Harry is smart. Harry is not young. All blue, young things are smart. Nice things are smart. If Bob is red then Bob is furry. Young things are quiet. Furry, blue things are quiet. If Erin is furry and Erin is not blue then Erin is quiet. If something is young and furry then it is red. If something is furry and not blue then it is nice.
Dave is blue.
@0: Bob is furry.[(triple1)] Bob is not quiet.[(triple2)] Bob is not red.[(triple3)] Dave is furry.[(triple5)] Dave is nice.[(triple6 OR ((triple5 triple4) -> rule8))] Dave is not blue.[(triple4)] Dave is not young.[(triple10)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((triple6) -> rule2) OR ((((triple5 triple4) -> rule8)) -> rule2))] Erin is young.[(triple11)] Harry is nice.[(triple13)] Harry is not blue.[(triple12)] Harry is not quiet.[(triple14)] Harry is not young.[(triple16)] Harry is smart.[(triple15 OR ((triple13) -> rule2))] @1: Erin is quiet.[(((triple11) -> rule4))]