Dave is kind. Dave is smart. Harry is nice. Nice things are smart. Smart things are round. If something is kind then it is blue. If something is kind then it is blue. If Dave is blue then Dave is nice. Cold, blue things are kind.
Dave is not kind.
@0: Dave is kind.[(triple1)] Dave is smart.[(triple2 OR ((((((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5)) -> rule1))] Harry is nice.[(triple3)] @1: Dave is blue.[(((triple1) -> rule3) OR ((triple1) -> rule4))] Dave is round.[(((triple2) -> rule2) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule5)) -> rule1)) -> rule2))] Harry is smart.[(((triple3) -> rule1))] @2: Dave is nice.[(((((triple1) -> rule3)) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] Harry is round.[(((((triple3) -> rule1)) -> rule2))]