The cow does not chase the tiger. The cow does not eat the rabbit. The cow eats the tiger. The rabbit chases the cow. The rabbit chases the tiger. The rabbit eats the cow. The rabbit eats the tiger. The rabbit is red. The rabbit is young. The rabbit does not visit the cow. The rabbit visits the tiger. The tiger chases the rabbit. The tiger eats the cow. The tiger is green. The tiger is kind. The tiger is red. If someone chases the tiger then they chase the cow. If someone is kind and red then they chase the tiger. If someone is green and they chase the cow then the cow is not kind. If someone eats the tiger and they visit the cow then the cow is kind. If someone eats the cow then the cow chases the rabbit. If someone visits the cow then the cow chases the rabbit.
The rabbit does not eat the rabbit.
@0: The cow does not chase the tiger.[(triple1)] The cow does not eat the rabbit.[(triple2)] The cow eats the tiger.[(triple3)] The rabbit chases the cow.[(triple4 OR ((triple5) -> rule1))] The rabbit chases the tiger.[(triple5)] The rabbit does not visit the cow.[(triple10)] The rabbit eats the cow.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is red.[(triple8)] The rabbit is young.[(triple9)] The rabbit visits the tiger.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is green.[(triple14)] The tiger is kind.[(triple15)] The tiger is red.[(triple16)] @1: The cow chases the rabbit.[(((triple13) -> rule5) OR ((triple6) -> rule5))] The tiger chases the tiger.[(((triple15 triple16) -> rule2))] @2: The tiger chases the cow.[(((((triple15 triple16) -> rule2)) -> rule1))] @3: The cow is not kind.[(((triple14 ((((triple15 triple16) -> rule2)) -> rule1)) -> rule3))]