The cat is blue. The cat is cold. The cat sees the dog. The cow chases the cat. The cow chases the dog. The cow is green. The cow likes the cat. The dog is not green. The dog does not like the cow. The dog sees the cat. The lion chases the cat. The lion chases the cow. The lion sees the cat. The lion does not see the cow. The lion sees the dog. If someone chases the lion then the lion likes the cat. If the dog likes the lion then the lion is blue. If someone chases the dog then the dog sees the lion. If the cat sees the dog then the cat is green. If someone is green and they like the cat then they like the lion. If someone is blue and big then they like the cow. If someone likes the cow then they are blue. If someone likes the dog and they do not like the lion then the lion is big.
The dog chases the cat.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat sees the dog.[(triple3)] The cow chases the cat.[(triple4)] The cow chases the dog.[(triple5)] The cow is green.[(triple6)] The cow likes the cat.[(triple7)] The dog does not like the cow.[(triple9)] The dog is not green.[(triple8)] The dog sees the cat.[(triple10)] The lion chases the cat.[(triple11)] The lion chases the cow.[(triple12)] The lion does not see the cow.[(triple14)] The lion sees the cat.[(triple13)] The lion sees the dog.[(triple15)] @1: The cat is green.[(((triple3) -> rule4))] The cow likes the lion.[(((triple6 triple7) -> rule5))] The dog sees the lion.[(((triple5) -> rule3))]