Dave is furry. Dave is kind. Dave is nice. Nice things are kind. All kind things are green. If Dave is furry and Dave is quiet then Dave is big. If something is big and furry then it is green. If Dave is furry and Dave is kind then Dave is green. If Dave is furry and Dave is red then Dave is quiet. If something is green then it is red. All furry, big things are nice.
Dave is green.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule1))] Dave is nice.[(triple3 OR ((triple1 ((triple1 ((triple1 ((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule3)) -> rule8) OR ((triple1 ((triple1 ((triple1 ((((triple1 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule3)) -> rule8))] @1: Dave is green.[(((triple2) -> rule2) OR ((triple1 triple2) -> rule5) OR ((((triple3) -> rule1)) -> rule2) OR ((triple1 ((triple3) -> rule1)) -> rule5))] @2: Dave is red.[(((((triple2) -> rule2)) -> rule7) OR ((((triple1 triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple1 ((triple3) -> rule1)) -> rule5)) -> rule7))] @3: Dave is quiet.[(((triple1 ((((triple2) -> rule2)) -> rule7)) -> rule6) OR ((triple1 ((((triple1 triple2) -> rule5)) -> rule7)) -> rule6) OR ((triple1 ((((((triple3) -> rule1)) -> rule2)) -> rule7)) -> rule6) OR ((triple1 ((((triple1 ((triple3) -> rule1)) -> rule5)) -> rule7)) -> rule6))] @4: Dave is big.[(((triple1 ((triple1 ((((triple2) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((triple1 ((triple1 ((((triple1 triple2) -> rule5)) -> rule7)) -> rule6)) -> rule3) OR ((triple1 ((triple1 ((((((triple3) -> rule1)) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((triple1 ((triple1 ((((triple1 ((triple3) -> rule1)) -> rule5)) -> rule7)) -> rule6)) -> rule3))]