The cat chases the cow. The cat chases the rabbit. The cat chases the tiger. The cat eats the cow. The cat eats the tiger. The cat is kind. The cow sees the cat. The rabbit chases the cat. The rabbit chases the tiger. The rabbit eats the cow. The rabbit is kind. The rabbit is young. The rabbit sees the cat. The tiger chases the cat. The tiger is kind. The tiger is rough. If someone sees the rabbit and the rabbit chases the cow then the cow eats the cat. If the cow chases the cat then the cat chases the tiger. If someone eats the tiger and they are kind then the tiger eats the cow. If the cat is rough and the cat eats the tiger then the tiger is cold. If someone chases the tiger and the tiger sees the cow then the cow sees the rabbit. If someone chases the cow and they eat the cow then the cow eats the cat. If the cow eats the rabbit then the rabbit sees the cat. If the cow is cold then the cow is young.
The rabbit chases the cow.
@0: The cat chases the cow.[(triple1)] The cat chases the rabbit.[(triple2)] The cat chases the tiger.[(triple3)] The cat eats the cow.[(triple4)] The cat eats the tiger.[(triple5)] The cat is kind.[(triple6)] The cow sees the cat.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit chases the tiger.[(triple9)] The rabbit eats the cow.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is young.[(triple12)] The rabbit sees the cat.[(triple13)] The tiger chases the cat.[(triple14)] The tiger is kind.[(triple15)] The tiger is rough.[(triple16)] @1: The cow eats the cat.[(((triple1 triple4) -> rule6))] The tiger eats the cow.[(((triple5 triple6) -> rule3))]