Dave is furry. Dave is kind. Dave is not red. Dave is smart. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is not smart. Erin is not white. Harry is not furry. Harry is not kind. Harry is nice. Harry is red. Harry is round. Harry is smart. If something is white and not smart then it is not furry. If something is kind and red then it is furry. White things are nice.
Harry is red.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is not red.[(triple3)] Dave is smart.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is not smart.[(triple9)] Erin is not white.[(triple10)] Erin is red.[(triple7)] Erin is round.[(triple8)] Harry is nice.[(triple13)] Harry is not furry.[(triple11)] Harry is not kind.[(triple12)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Erin is furry.[(((triple5 triple7) -> rule2))]