The cat eats the lion. The cat eats the squirrel. The cat eats the tiger. The cat is blue. The cat is red. The lion chases the tiger. The lion eats the cat. The lion is blue. The squirrel visits the cat. The tiger visits the lion. If something eats the lion then it is round. If the lion chases the cat then the lion chases the squirrel.
The cat is blue.
@0: The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2)] The cat eats the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is red.[(triple5)] The lion chases the tiger.[(triple6)] The lion eats the cat.[(triple7)] The lion is blue.[(triple8)] The squirrel visits the cat.[(triple9)] The tiger visits the lion.[(triple10)] @1: The cat is round.[(((triple1) -> rule1))]