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