The bear chases the lion. The bear chases the squirrel. The bear likes the squirrel. The dog chases the lion. The lion sees the squirrel. The squirrel likes the bear. The squirrel sees the bear. If someone sees the squirrel then they chase the dog. If someone sees the dog then the dog sees the bear. If someone chases the lion then they see the lion. If someone sees the squirrel and they are round then the squirrel likes the dog. If the bear sees the squirrel and the squirrel sees the dog then the bear is big. If someone chases the dog then they are round. If someone sees the squirrel and the squirrel likes the bear then the bear is young. If the bear sees the dog and the dog sees the lion then the lion sees the squirrel.
The bear is not big.
@0: The bear chases the lion.[(triple1)] The bear chases the squirrel.[(triple2)] The bear likes the squirrel.[(triple3)] The dog chases the lion.[(triple4)] The lion sees the squirrel.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The bear is young.[(((triple5 triple6) -> rule7))] The bear sees the lion.[(((triple1) -> rule3))] The dog sees the lion.[(((triple4) -> rule3))] The lion chases the dog.[(((triple5) -> rule1))] @2: The lion is round.[(((((triple5) -> rule1)) -> rule6))] @3: The squirrel likes the dog.[(((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule4))]