The cow is big. The cow is green. The cow is kind. The cow is red. The cow is round. If the cow is not big then the cow is kind. If the cow is kind then the cow is red. If someone is green and not kind then they are red. If someone is red and big then they are round. If someone is red and not kind then they are green. Big, red people are green. If the cow is big and the cow is not green then the cow is not round. If the cow is big then the cow is round.
The cow does not eat the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple3) -> rule2)) -> rule6))] The cow is kind.[(triple3)] The cow is red.[(triple4 OR ((triple3) -> rule2))] The cow is round.[(triple5 OR ((triple1) -> rule8) OR ((triple4 triple1) -> rule4) OR ((((triple3) -> rule2) triple1) -> rule4))]