The cat is cold. The cat is rough. The cat needs the dog. The dog is green. The dog is rough. The dog likes the cat. The lion eats the tiger. The lion is big. The lion is green. The lion likes the dog. The tiger eats the dog. The tiger eats the lion. The tiger is green. The tiger is round. The tiger likes the lion. The tiger needs the cat. If something likes the cat and the cat is green then the cat needs the lion. If the dog is green then the dog eats the lion. If something is green then it eats the dog.
The cat eats the dog.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat needs the dog.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog likes the cat.[(triple6)] The lion eats the tiger.[(triple7)] The lion is big.[(triple8)] The lion is green.[(triple9)] The lion likes the dog.[(triple10)] The tiger eats the dog.[(triple11 OR ((triple13) -> rule3))] The tiger eats the lion.[(triple12)] The tiger is green.[(triple13)] The tiger is round.[(triple14)] The tiger likes the lion.[(triple15)] The tiger needs the cat.[(triple16)] @1: The dog eats the dog.[(((triple4) -> rule3))] The dog eats the lion.[(((triple4) -> rule2))] The lion eats the dog.[(((triple9) -> rule3))]