The bear is cold. The cow is not young. The cow does not need the tiger. The cow sees the bear. The dog is round. The dog sees the bear. The tiger needs the bear. The tiger needs the cow. The tiger needs the dog. The tiger sees the cow. If something sees the cow and it does not need the cow then it is big. If something sees the dog and it eats the cow then it is big. If something is cold then it needs the tiger. If something is big and it sees the tiger then it needs the tiger. If something sees the dog then the dog is not cold. If the dog needs the cow then the dog eats the tiger. If something sees the tiger then the tiger is round. If something needs the bear and the bear needs the tiger then the bear sees the tiger.
The bear sees the tiger.
@0: The bear is cold.[(triple1)] The cow does not need the tiger.[(triple3)] The cow is not young.[(triple2)] The cow sees the bear.[(triple4)] The dog is round.[(triple5)] The dog sees the bear.[(triple6)] The tiger needs the bear.[(triple7)] The tiger needs the cow.[(triple8)] The tiger needs the dog.[(triple9)] The tiger sees the cow.[(triple10)] @1: The bear needs the tiger.[(((triple1) -> rule3))] @2: The bear sees the tiger.[(((triple7 ((triple1) -> rule3)) -> rule8))] @3: The tiger is round.[(((((triple7 ((triple1) -> rule3)) -> rule8)) -> rule7))]