The cat eats the lion. The cat is green. The cat is red. The cat is rough. The cat is round. The cat is young. The cat needs the lion. The cat visits the lion. The lion eats the cat. The lion is green. The lion is red. The lion is not rough. The lion is round. The lion is not young. The lion needs the cat. The lion visits the cat. If someone needs the cat and they eat the cat then they need the lion. If someone visits the cat and they do not eat the cat then they are green.
The lion does not eat the cat.
@0: The cat eats the lion.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat needs the lion.[(triple7)] The cat visits the lion.[(triple8)] The lion eats the cat.[(triple9)] The lion is green.[(triple10)] The lion is not rough.[(triple12)] The lion is not young.[(triple14)] The lion is red.[(triple11)] The lion is round.[(triple13)] The lion needs the cat.[(triple15)] The lion visits the cat.[(triple16)] @1: The lion needs the lion.[(((triple15 triple9) -> rule1))]