The bear chases the lion. The bear is big. The bear is green. The bear is young. The bear likes the squirrel. The bear sees the mouse. The lion chases the squirrel. The lion is blue. The mouse is big. The mouse likes the bear. The mouse likes the lion. The mouse sees the lion. The squirrel chases the bear. The squirrel chases the lion. If someone likes the mouse and they are blue then they are red. If someone is blue then they see the mouse. If the lion sees the squirrel and the lion is blue then the lion chases the mouse. If someone chases the bear then they see the squirrel. If someone sees the bear then the bear likes the squirrel. If someone is young and they see the bear then they chase the mouse. If someone sees the mouse then they chase the bear. If someone is blue and they chase the mouse then they are young.
The squirrel does not like the squirrel.
@0: The bear chases the lion.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear likes the squirrel.[(triple5)] The bear sees the mouse.[(triple6)] The lion chases the squirrel.[(triple7)] The lion is blue.[(triple8)] The mouse is big.[(triple9)] The mouse likes the bear.[(triple10)] The mouse likes the lion.[(triple11)] The mouse sees the lion.[(triple12)] The squirrel chases the bear.[(triple13)] The squirrel chases the lion.[(triple14)] @1: The bear chases the bear.[(((triple6) -> rule7))] The lion sees the mouse.[(((triple8) -> rule2))] The squirrel sees the squirrel.[(((triple13) -> rule4))] @2: The bear sees the squirrel.[(((((triple6) -> rule7)) -> rule4))] The lion chases the bear.[(((((triple8) -> rule2)) -> rule7))] @3: The lion sees the squirrel.[(((((((triple8) -> rule2)) -> rule7)) -> rule4))] @4: The lion chases the mouse.[(((((((((triple8) -> rule2)) -> rule7)) -> rule4) triple8) -> rule3))] @5: The lion is young.[(((triple8 ((((((((triple8) -> rule2)) -> rule7)) -> rule4) triple8) -> rule3)) -> rule8))]