The cow chases the tiger. The cow eats the tiger. The cow is green. The cow likes the lion. The cow likes the tiger. The lion eats the tiger. The lion is green. The lion is red. The lion is young. The tiger likes the lion. If someone is nice and they eat the cow then they like the lion. If the cow chases the lion then the cow chases the tiger. If someone is young and they chase the tiger then the tiger is red. If someone is red then they chase the tiger. If someone eats the lion then the lion eats the cow. If the cow chases the tiger and the tiger eats the cow then the cow is green. If someone eats the tiger and the tiger eats the lion then they are red. If someone likes the lion and they like the tiger then the lion chases the cow.
The tiger chases the lion.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is green.[(triple3)] The cow likes the lion.[(triple4)] The cow likes the tiger.[(triple5)] The lion eats the tiger.[(triple6)] The lion is green.[(triple7)] The lion is red.[(triple8)] The lion is young.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion chases the cow.[(((triple4 triple5) -> rule8))] The lion chases the tiger.[(((triple8) -> rule4))] @2: The tiger is red.[(((triple9 ((triple8) -> rule4)) -> rule3))] @3: The tiger chases the tiger.[(((((triple9 ((triple8) -> rule4)) -> rule3)) -> rule4))]