Dave is furry. Dave is red. Dave is young. Harry is blue. Harry is green. Harry is round. Harry is smart. Blue things are smart. Red things are green. If something is blue and red then it is round. All smart things are green. All red, round things are furry. If something is furry then it is red. If something is blue and smart then it is green. If Dave is red then Dave is green.
Dave is furry.
@0: Dave is furry.[(triple1)] Dave is red.[(triple2 OR ((triple1) -> rule6))] Dave is young.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5 OR ((triple7) -> rule4) OR ((triple4 triple7) -> rule7) OR ((((triple4) -> rule1)) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule7))] Harry is round.[(triple6)] Harry is smart.[(triple7 OR ((triple4) -> rule1))] @1: Dave is green.[(((triple2) -> rule2) OR ((triple2) -> rule8) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule6)) -> rule8))]