The cow eats the lion. The cow is not green. The cow likes the lion. The cow likes the tiger. The dog eats the lion. The dog is young. The dog likes the tiger. The lion eats the tiger. The lion likes the cow. The lion visits the tiger. The tiger eats the cow. The tiger does not like the dog. If someone is young and they visit the lion then they are not nice. If the dog is not green then the dog visits the lion. If the tiger eats the lion and the tiger eats the cow then the tiger likes the cow. If the dog does not visit the lion then the lion is green. If someone eats the tiger and they are young then they visit the cow. If someone visits the dog then the dog eats the tiger. If someone likes the tiger and they are not green then the tiger visits the dog. If someone visits the dog and they are not cold then they are red.
The lion is not cold.
@0: The cow eats the lion.[(triple1)] The cow is not green.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the tiger.[(triple4)] The dog eats the lion.[(triple5)] The dog is young.[(triple6)] The dog likes the tiger.[(triple7)] The lion eats the tiger.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the tiger.[(triple10)] The tiger does not like the dog.[(triple12)] The tiger eats the cow.[(triple11)] @1: The tiger visits the dog.[(((triple4 triple2) -> rule7))] @2: The dog eats the tiger.[(((((triple4 triple2) -> rule7)) -> rule6))] @3: The dog visits the cow.[(((((((triple4 triple2) -> rule7)) -> rule6) triple6) -> rule5))]