The cow is nice. If something is green and big then it is not round. If the cow is green and the cow is kind then the cow is round. Green, nice things are kind. If something is nice then it is kind. If something is kind then it is green. If the cow is kind then the cow is green.
The cow needs the cow.
@0: The cow is nice.[(triple1)] @1: The cow is kind.[(((triple1) -> rule4))] @2: The cow is green.[(((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4)) -> rule6))] @3: The cow is round.[(((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule2))]