The bear chases the tiger. The bear is blue. The bear visits the lion. The lion is young. The lion likes the tiger. The lion visits the tiger. The tiger likes the bear. If someone chases the bear then the bear is young. If someone is cold then they chase the bear. If the lion is green then the lion chases the bear. If someone visits the tiger then they are green. Blue, rough people are cold. If someone chases the bear and they visit the bear then the bear is rough.
The tiger does not like the lion.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear visits the lion.[(triple3)] The lion is young.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger likes the bear.[(triple7)] @1: The lion is green.[(((triple6) -> rule4))] @2: The lion chases the bear.[(((((triple6) -> rule4)) -> rule3))] @3: The bear is young.[(((((((triple6) -> rule4)) -> rule3)) -> rule1))]