The cow is young. If someone is kind and young then they are blue. If someone is kind and blue then they are big. If the cow is young then the cow is kind. If someone is round and big then they are young. If the cow is kind then the cow is young. All kind people are blue. If the cow is kind and the cow is blue then the cow is big. All big, round people are kind.
The cow does not chase the cow.
@0: The cow is young.[(triple1)] @1: The cow is kind.[(((triple1) -> rule3))] @2: The cow is blue.[(((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule1))] @3: The cow is big.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule1)) -> rule7))]