Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is young. Harry is furry. Harry is green. Harry is young. All red things are kind. All nice, green things are kind. All nice things are furry. If something is kind then it is green. All young, nice things are kind. If Dave is nice then Dave is furry. If something is furry then it is nice. Kind things are smart.
Harry is green.
@0: Dave is furry.[(triple1 OR ((triple4) -> rule3) OR ((triple4) -> rule6))] Dave is green.[(triple2 OR ((triple3) -> rule4) OR ((((triple5) -> rule1)) -> rule4) OR ((((triple7 triple4) -> rule5)) -> rule4) OR ((((triple7 ((triple1) -> rule7)) -> rule5)) -> rule4))] Dave is kind.[(triple3 OR ((triple5) -> rule1) OR ((triple4 triple2) -> rule2) OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple1) -> rule7)) -> rule5) OR ((((triple1) -> rule7) triple2) -> rule2))] Dave is nice.[(triple4 OR ((triple1) -> rule7))] Dave is red.[(triple5)] Dave is smart.[(triple6 OR ((triple3) -> rule8) OR ((((triple5) -> rule1)) -> rule8) OR ((((triple4 triple2) -> rule2)) -> rule8) OR ((((triple7 triple4) -> rule5)) -> rule8) OR ((((triple7 ((triple1) -> rule7)) -> rule5)) -> rule8) OR ((((((triple1) -> rule7) triple2) -> rule2)) -> rule8))] Dave is young.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((((triple10 ((triple8) -> rule7)) -> rule5)) -> rule4))] Harry is young.[(triple10)] @1: Harry is nice.[(((triple8) -> rule7))] @2: Harry is kind.[(((triple10 ((triple8) -> rule7)) -> rule5) OR ((((triple8) -> rule7) triple9) -> rule2))] @3: Harry is smart.[(((((triple10 ((triple8) -> rule7)) -> rule5)) -> rule8) OR ((((((triple8) -> rule7) triple9) -> rule2)) -> rule8))]