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