The cat chases the lion. The cat is young. The cat likes the lion. The cow likes the cat. The lion is big. The lion is green. The lion is young. If something is rough and it chases the lion then it is nice. If something needs the lion then it likes the cow. If something is big and green then it chases the cow. If something chases the cat and it needs the lion then the lion chases the cow. If the cat chases the cow and the cow needs the cat then the cow is nice. If something likes the cow and it chases the lion then the cow chases the cat. If something chases the cat and the cat is big then it is rough. If the cat is big then the cat likes the lion.
The lion does not chase the cow.
@0: The cat chases the lion.[(triple1)] The cat is young.[(triple2)] The cat likes the lion.[(triple3)] The cow likes the cat.[(triple4)] The lion is big.[(triple5)] The lion is green.[(triple6)] The lion is young.[(triple7)] @1: The lion chases the cow.[(((triple5 triple6) -> rule3))]