Bob is kind. Bob is not nice. Bob is round. Bob is smart. Dave is not furry. Dave is not nice. Dave is not smart. Erin is furry. Erin is kind. Harry is young. If something is furry and nice then it is young. Young things are blue. All furry things are blue. If something is young and nice then it is round. If something is blue and young then it is not kind. If Dave is young then Dave is nice. If Harry is kind then Harry is nice. If something is kind and not furry then it is smart.
Bob is not nice.
@0: Bob is kind.[(triple1)] Bob is not nice.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is not furry.[(triple5)] Dave is not nice.[(triple6)] Dave is not smart.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Harry is young.[(triple10)] @1: Erin is blue.[(((triple8) -> rule3))] Harry is blue.[(((triple10) -> rule2))] @2: Harry is not kind.[(((((triple10) -> rule2) triple10) -> rule5))]