The cat does not eat the lion. The cat is round. The cat likes the lion. The cat likes the squirrel. The cat does not see the squirrel. The lion eats the squirrel. The lion is round. The lion is young. The lion sees the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel likes the cat. The squirrel sees the cat. If someone eats the cat and they are big then the cat sees the lion.
The cat likes the cat.
@0: The cat does not eat the lion.[(triple1)] The cat does not see the squirrel.[(triple5)] The cat is round.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the squirrel.[(triple4)] The lion eats the squirrel.[(triple6)] The lion is round.[(triple7)] The lion is young.[(triple8)] The lion sees the squirrel.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is big.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The cat sees the lion.[(((triple10 triple11) -> rule1))]