The bear sees the cow. The bear sees the tiger. The cow does not chase the bear. The cow is big. The cow is nice. The cow is young. The cow sees the bear. The lion chases the bear. The lion needs the bear. The lion sees the cow. The tiger does not chase the lion. The tiger is rough. The tiger needs the bear. The tiger needs the lion. The tiger sees the bear. The tiger sees the cow. If someone chases the cow then they chase the tiger. If someone needs the tiger and they do not chase the bear then the tiger does not see the lion. If someone chases the tiger then the tiger sees the lion. If someone needs the lion and the lion needs the bear then the lion chases the cow. If someone needs the bear then the bear chases the cow. All young people are cold. If the bear is rough then the bear needs the cow. If someone sees the lion and the lion is big then they are not young.
The tiger is not young.
@0: The bear sees the cow.[(triple1)] The bear sees the tiger.[(triple2)] The cow does not chase the bear.[(triple3)] The cow is big.[(triple4)] The cow is nice.[(triple5)] The cow is young.[(triple6)] The cow sees the bear.[(triple7)] The lion chases the bear.[(triple8)] The lion needs the bear.[(triple9)] The lion sees the cow.[(triple10)] The tiger does not chase the lion.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the bear.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the bear.[(triple15)] The tiger sees the cow.[(triple16)] @1: The bear chases the cow.[(((triple13) -> rule5) OR ((triple9) -> rule5))] The cow is cold.[(((triple6) -> rule6))] The lion chases the cow.[(((triple14 triple9) -> rule4))] @2: The bear chases the tiger.[(((((triple13) -> rule5)) -> rule1) OR ((((triple9) -> rule5)) -> rule1))] The lion chases the tiger.[(((((triple14 triple9) -> rule4)) -> rule1))] @3: The tiger sees the lion.[(((((((triple13) -> rule5)) -> rule1)) -> rule3) OR ((((((triple9) -> rule5)) -> rule1)) -> rule3) OR ((((((triple14 triple9) -> rule4)) -> rule1)) -> rule3))]