The cow is kind. If the cow is kind then the cow is not rough. If something is rough then it is kind. All rough, blue things are green. If something is green and not rough then it is blue. If something is green and not rough then it is blue. All kind things are round. If something is green and blue then it is round. If the cow is not rough then the cow is green.
The cow visits the cow.
@0: The cow is kind.[(triple1)] @1: The cow is not rough.[(((triple1) -> rule1))] The cow is round.[(((triple1) -> rule6) OR ((((((triple1) -> rule1)) -> rule8) ((((((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule4)) -> rule7) OR ((((((triple1) -> rule1)) -> rule8) ((((((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule5)) -> rule7))] @2: The cow is green.[(((((triple1) -> rule1)) -> rule8))] @3: The cow is blue.[(((((((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule5))]