The cow chases the tiger. The dog is red. The dog visits the tiger. The tiger chases the cow. The tiger chases the dog. The tiger is nice. The tiger is rough. The tiger is young. The tiger likes the cow. The tiger likes the dog. If someone likes the tiger then they are big. If someone likes the dog then they are not big. If someone chases the tiger then they are not young.
The tiger is young.
@0: The cow chases the tiger.[(triple1)] The dog is red.[(triple2)] The dog visits the tiger.[(triple3)] The tiger chases the cow.[(triple4)] The tiger chases the dog.[(triple5)] The tiger is nice.[(triple6)] The tiger is rough.[(triple7)] The tiger is young.[(triple8)] The tiger likes the cow.[(triple9)] The tiger likes the dog.[(triple10)] @1: The cow is not young.[(((triple1) -> rule3))] The tiger is not big.[(((triple10) -> rule2))]