The cow is round. If something is nice then it is blue. If something is blue and nice then it is green. If the cow is round then the cow is nice. If the cow is not green and the cow is not blue then the cow is not kind. If something is nice then it is kind. If something is green and not blue then it is kind.
The cow is not blue.
@0: The cow is round.[(triple1)] @1: The cow is nice.[(((triple1) -> rule3))] @2: The cow is blue.[(((((triple1) -> rule3)) -> rule1))] The cow is kind.[(((((triple1) -> rule3)) -> rule5))] @3: The cow is green.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule2))]