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