The cow is kind. The cow is nice. The cow is red. All round people are blue. All blue, red people are kind. Round people are red. If someone is red and kind then they are round. If someone is nice and round then they are kind. If the cow is red and the cow is nice then the cow is kind.
The cow does not visit the cow.
@0: The cow is kind.[(triple1 OR ((triple3 triple2) -> rule6))] The cow is nice.[(triple2)] The cow is red.[(triple3)] @1: The cow is round.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule4))] @2: The cow is blue.[(((((triple3 triple1) -> rule4)) -> rule1) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule4)) -> rule1))]