The bear chases the cat. The bear eats the squirrel. The bear is young. The cat chases the lion. The cat eats the lion. The cat is young. The lion eats the cat. The lion is nice. The squirrel chases the lion. The squirrel is nice. If the lion sees the bear and the lion eats the squirrel then the lion sees the squirrel. If the squirrel chases the cat then the squirrel is rough. If someone is blue and they see the bear then the bear eats the lion. If someone sees the cat then the cat is blue. If someone sees the bear and the bear chases the cat then they chase the cat. If someone eats the cat then they see the bear. If someone is blue then they see the bear. If someone eats the lion and the lion eats the cat then the lion sees the cat.
The squirrel eats the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is young.[(triple3)] The cat chases the lion.[(triple4)] The cat eats the lion.[(triple5)] The cat is young.[(triple6)] The lion eats the cat.[(triple7)] The lion is nice.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is nice.[(triple10)] @1: The lion sees the bear.[(((triple7) -> rule6))] The lion sees the cat.[(((triple5 triple7) -> rule8))] @2: The cat is blue.[(((((triple5 triple7) -> rule8)) -> rule4))] The lion chases the cat.[(((((triple7) -> rule6) triple1) -> rule5))] @3: The cat sees the bear.[(((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7))] @4: The bear eats the lion.[(((((((triple5 triple7) -> rule8)) -> rule4) ((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7)) -> rule3))] The cat chases the cat.[(((((((((triple5 triple7) -> rule8)) -> rule4)) -> rule7) triple1) -> rule5))]