Dave is furry. Dave is green. Dave is smart. If something is furry then it is round. Green, nice things are round. All green things are kind. All nice, green things are round. Nice, smart things are rough. If Dave is round then Dave is green. Smart, rough things are green. If something is green and smart then it is nice.
Dave is not smart.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2 OR ((((triple1) -> rule1)) -> rule6))] Dave is smart.[(triple3)] @1: Dave is kind.[(((triple2) -> rule3) OR ((((((triple1) -> rule1)) -> rule6)) -> rule3))] Dave is nice.[(((triple2 triple3) -> rule8) OR ((((((triple1) -> rule1)) -> rule6) triple3) -> rule8))] Dave is round.[(((triple1) -> rule1) OR ((triple2 ((triple2 triple3) -> rule8)) -> rule2) OR ((((triple2 triple3) -> rule8) triple2) -> rule4))] @2: Dave is rough.[(((((triple2 triple3) -> rule8) triple3) -> rule5) OR ((((((((triple1) -> rule1)) -> rule6) triple3) -> rule8) triple3) -> rule5))]