The bear is blue. The bear likes the rabbit. The cow is nice. The cow likes the rabbit. The cow sees the lion. The cow does not see the rabbit. The cow visits the lion. The lion is blue. The lion is kind. The lion sees the bear. The rabbit is nice. The rabbit does not visit the lion. If something is blue and it visits the lion then it does not see the rabbit. If something likes the cow then it sees the rabbit. If something sees the cow then the cow does not like the lion. If the rabbit sees the lion and the rabbit does not like the bear then the bear sees the lion. If something sees the bear and it sees the rabbit then the bear does not visit the lion. If something sees the bear and the bear is young then the bear visits the rabbit. If something is blue and young then it sees the cow. If something is kind then it is young.
The bear does not visit the rabbit.
@0: The bear is blue.[(triple1)] The bear likes the rabbit.[(triple2)] The cow does not see the rabbit.[(triple6)] The cow is nice.[(triple3)] The cow likes the rabbit.[(triple4)] The cow sees the lion.[(triple5)] The cow visits the lion.[(triple7)] The lion is blue.[(triple8)] The lion is kind.[(triple9)] The lion sees the bear.[(triple10)] The rabbit does not visit the lion.[(triple12)] The rabbit is nice.[(triple11)] @1: The lion is young.[(((triple9) -> rule8))] @2: The lion sees the cow.[(((triple8 ((triple9) -> rule8)) -> rule7))] @3: The cow does not like the lion.[(((((triple8 ((triple9) -> rule8)) -> rule7)) -> rule3))]