The bear chases the cat. The cat does not chase the squirrel. The lion likes the squirrel. The squirrel is not blue. If something likes the squirrel then it sees the bear. If something sees the bear then the bear likes the squirrel. If something sees the cat then it is blue. If something is rough and it sees the bear then it chases the bear. If something likes the lion then the lion likes the cat. If something chases the bear then the bear is nice.
The cat does not like the bear.
@0: The bear chases the cat.[(triple1)] The cat does not chase the squirrel.[(triple2)] The lion likes the squirrel.[(triple3)] The squirrel is not blue.[(triple4)] @1: The lion sees the bear.[(((triple3) -> rule1))] @2: The bear likes the squirrel.[(((((triple3) -> rule1)) -> rule2))] @3: The bear sees the bear.[(((((((triple3) -> rule1)) -> rule2)) -> rule1))]