The bear sees the lion. The bear does not see the tiger. The bear visits the tiger. The cow sees the tiger. The cow visits the bear. The cow visits the tiger. The lion is blue. The lion is young. The lion sees the cow. The lion does not see the tiger. The lion does not visit the cow. The tiger is green. The tiger is young. The tiger does not like the lion. The tiger sees the cow. The tiger visits the bear. If the bear is green and the bear sees the lion then the lion sees the bear. If someone likes the cow then they are young. If someone sees the lion then they are green.
The tiger is young.
@0: The bear does not see the tiger.[(triple2)] The bear sees the lion.[(triple1)] The bear visits the tiger.[(triple3)] The cow sees the tiger.[(triple4)] The cow visits the bear.[(triple5)] The cow visits the tiger.[(triple6)] The lion does not see the tiger.[(triple10)] The lion does not visit the cow.[(triple11)] The lion is blue.[(triple7)] The lion is young.[(triple8)] The lion sees the cow.[(triple9)] The tiger does not like the lion.[(triple14)] The tiger is green.[(triple12)] The tiger is young.[(triple13)] The tiger sees the cow.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear is green.[(((triple1) -> rule3))] @2: The lion sees the bear.[(((((triple1) -> rule3) triple1) -> rule1))]