The cow chases the tiger. The cow eats the tiger. The cow is not big. The cow is not nice. The cow is red. The cow is not young. The cow needs the tiger. The tiger does not chase the cow. The tiger eats the cow. The tiger is big. The tiger is green. The tiger is nice. The tiger is red. The tiger is young. The tiger needs the cow. If someone eats the tiger and the tiger needs the cow then the tiger is young. If someone chases the tiger then the tiger does not chase the cow.
The cow is not green.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is not big.[(triple3)] The cow is not nice.[(triple4)] The cow is not young.[(triple6)] The cow is red.[(triple5)] The cow needs the tiger.[(triple7)] The tiger does not chase the cow.[(triple8 OR ((triple1) -> rule2))] The tiger eats the cow.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14 OR ((triple2 triple15) -> rule1))] The tiger needs the cow.[(triple15)]