The bear is big. The bear does not see the cat. The bear sees the cow. The bear sees the tiger. The bear visits the cow. The cat sees the bear. The cat sees the tiger. The cow is nice. The cow sees the cat. The tiger is kind. The tiger needs the cat. The tiger needs the cow. If someone sees the cat then they visit the bear. If someone sees the cow and they do not visit the cat then they are nice. If someone visits the tiger then they do not see the bear. If the cow is not big and the cow does not need the tiger then the cow needs the cat. If the bear does not visit the cow then the cow is cold. If someone visits the bear then they need the cow. If the tiger is round and the tiger visits the bear then the bear does not visit the tiger. If the cow needs the tiger and the tiger does not need the cow then the tiger needs the cat.
The bear does not need the cow.
@0: The bear does not see the cat.[(triple2)] The bear is big.[(triple1)] The bear sees the cow.[(triple3)] The bear sees the tiger.[(triple4)] The bear visits the cow.[(triple5)] The cat sees the bear.[(triple6)] The cat sees the tiger.[(triple7)] The cow is nice.[(triple8)] The cow sees the cat.[(triple9)] The tiger is kind.[(triple10)] The tiger needs the cat.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cow visits the bear.[(((triple9) -> rule1))] @2: The cow needs the cow.[(((((triple9) -> rule1)) -> rule6))]