The cat chases the rabbit. The cat is red. The cat is rough. The cow eats the tiger. The cow is big. The cow needs the rabbit. The rabbit chases the cat. The rabbit eats the cat. The rabbit is green. The tiger chases the cat. The tiger chases the rabbit. The tiger eats the cat. The tiger eats the cow. The tiger eats the rabbit. The tiger is green. The tiger is rough. If something is red and rough then it eats the cat. If something needs the rabbit then it needs the tiger. If something is blue then it chases the rabbit. If something eats the cow and the cow chases the rabbit then the cow eats the tiger. If the cat needs the tiger and the cat needs the cow then the cow is green. If the tiger is big and the tiger is rough then the tiger eats the cow. If the cow is red and the cow eats the cat then the cow needs the cat. If something is rough then it eats the tiger.
The rabbit chases the cat.
@0: The cat chases the rabbit.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cow eats the tiger.[(triple4)] The cow is big.[(triple5)] The cow needs the rabbit.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit is green.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger eats the cat.[(triple12)] The tiger eats the cow.[(triple13)] The tiger eats the rabbit.[(triple14)] The tiger is green.[(triple15)] The tiger is rough.[(triple16)] @1: The cat eats the cat.[(((triple2 triple3) -> rule1))] The cat eats the tiger.[(((triple3) -> rule8))] The cow needs the tiger.[(((triple6) -> rule2))] The tiger eats the tiger.[(((triple16) -> rule8))]