The cat eats the lion. The cat is blue. The cat is green. The cat is nice. The cat is round. The cat is young. The cat likes the lion. The cat needs the lion. The lion eats the cat. The lion is blue. The lion is green. The lion is nice. The lion is round. The lion likes the cat. The lion needs the cat. If the cat needs the lion and the lion is young then the cat likes the lion. If someone eats the cat and they are round then they like the lion.
The lion does not eat the cat.
@0: The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat likes the lion.[(triple7)] The cat needs the lion.[(triple8)] The lion eats the cat.[(triple9)] The lion is blue.[(triple10)] The lion is green.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13)] The lion likes the cat.[(triple14)] The lion needs the cat.[(triple15)] @1: The lion likes the lion.[(((triple9 triple13) -> rule2))]