The cat eats the lion. The cat is blue. The cat is red. The cat is rough. The cat is young. The cat likes the cow. The cat likes the lion. The cat sees the cow. The cow eats the cat. The cow is young. The cow sees the lion. The lion eats the cat. The lion is young. The lion likes the cow. The lion sees the cat. The lion sees the cow. If someone eats the cat then they are not blue. If someone eats the lion then they eat the cow.
The cow does not see the lion.
@0: The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)] The cat likes the cow.[(triple6)] The cat likes the lion.[(triple7)] The cat sees the cow.[(triple8)] The cow eats the cat.[(triple9)] The cow is young.[(triple10)] The cow sees the lion.[(triple11)] The lion eats the cat.[(triple12)] The lion is young.[(triple13)] The lion likes the cow.[(triple14)] The lion sees the cat.[(triple15)] The lion sees the cow.[(triple16)] @1: The cat eats the cow.[(((triple1) -> rule2))] The cow is not blue.[(((triple9) -> rule1))] The lion is not blue.[(((triple12) -> rule1))]