The cat eats the lion. The cat eats the squirrel. The cat likes the squirrel. The cat sees the lion. The cat sees the squirrel. The lion is nice. The lion likes the cat. The lion sees the cat. The squirrel eats the cat. The squirrel is big. The squirrel is nice. The squirrel sees the lion. If something likes the lion then it eats the squirrel. If the lion likes the squirrel and the lion is nice then the lion eats the squirrel. If the squirrel is blue and the squirrel is nice then the squirrel eats the lion. If something is nice and it eats the lion then it eats the cat. If something sees the cat then it likes the lion. If something likes the lion and it eats the squirrel then the lion likes the squirrel.
The lion likes the squirrel.
@0: The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2)] The cat likes the squirrel.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the squirrel.[(triple5)] The lion is nice.[(triple6)] The lion likes the cat.[(triple7)] The lion sees the cat.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is big.[(triple10)] The squirrel is nice.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The lion likes the lion.[(((triple8) -> rule5))] @2: The lion eats the squirrel.[(((((triple8) -> rule5)) -> rule1))] @3: The lion likes the squirrel.[(((((triple8) -> rule5) ((((triple8) -> rule5)) -> rule1)) -> rule6))]