The cow is big. The cow is blue. The cow is green. The cow is kind. The cow is round. If the cow is round then the cow is big. If the cow is round and the cow is not kind then the cow is big. If someone is blue and kind then they are green. All kind people are round. If someone is green and not round then they are big. If someone is kind then they are big.
The cow does not visit the cow.
@0: The cow is big.[(triple1 OR ((triple4) -> rule6) OR ((triple5) -> rule1) OR ((((triple4) -> rule4)) -> rule1))] The cow is blue.[(triple2)] The cow is green.[(triple3 OR ((triple2 triple4) -> rule3))] The cow is kind.[(triple4)] The cow is round.[(triple5 OR ((triple4) -> rule4))]