The bear eats the cow. The bear sees the rabbit. The cow does not eat the lion. The cow does not eat the rabbit. The cow is cold. The cow does not like the bear. The cow likes the lion. The cow likes the rabbit. The lion likes the bear. The lion likes the cow. The lion likes the rabbit. The rabbit eats the bear. The rabbit is cold. The rabbit is nice. The rabbit sees the lion. If the bear is blue then the bear sees the lion. If something is cold then it is green. If the lion is cold and the lion sees the rabbit then the rabbit does not see the lion. If something is green then it sees the bear. If the lion sees the rabbit and the rabbit eats the bear then the rabbit is not blue. If something eats the cow then the cow is not nice. If something sees the bear and it likes the lion then the lion is not young. If something sees the cow and it is not blue then the cow likes the bear.
The cow does not see the lion.
@0: The bear eats the cow.[(triple1)] The bear sees the rabbit.[(triple2)] The cow does not eat the lion.[(triple3)] The cow does not eat the rabbit.[(triple4)] The cow does not like the bear.[(triple6)] The cow is cold.[(triple5)] The cow likes the lion.[(triple7)] The cow likes the rabbit.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the cow.[(triple10)] The lion likes the rabbit.[(triple11)] The rabbit eats the bear.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is nice.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The cow is green.[(((triple5) -> rule2))] The cow is not nice.[(((triple1) -> rule6))] The rabbit is green.[(((triple13) -> rule2))] @2: The cow sees the bear.[(((((triple5) -> rule2)) -> rule4))] The rabbit sees the bear.[(((((triple13) -> rule2)) -> rule4))] @3: The lion is not young.[(((((((triple5) -> rule2)) -> rule4) triple7) -> rule7))]