The cat is big. The cat sees the lion. The cat sees the tiger. The lion is big. The lion is blue. The lion sees the cat. The lion sees the tiger. The squirrel sees the cat. The tiger needs the squirrel. The tiger sees the cat. If something visits the cat then it sees the cat. If the squirrel sees the cat then the squirrel needs the lion.
The cat visits the squirrel.
@0: The cat is big.[(triple1)] The cat sees the lion.[(triple2)] The cat sees the tiger.[(triple3)] The lion is big.[(triple4)] The lion is blue.[(triple5)] The lion sees the cat.[(triple6)] The lion sees the tiger.[(triple7)] The squirrel sees the cat.[(triple8)] The tiger needs the squirrel.[(triple9)] The tiger sees the cat.[(triple10)] @1: The squirrel needs the lion.[(((triple8) -> rule2))]