The cat is nice. The cat sees the squirrel. The squirrel eats the cat. The squirrel is nice. The squirrel needs the cat. The squirrel sees the cat. The squirrel sees the tiger. The tiger does not eat the cat. The tiger eats the squirrel. The tiger is kind. The tiger is nice. The tiger is not red. The tiger does not need the cat. The tiger sees the cat. The tiger sees the squirrel. If something is kind then it does not need the tiger. If something sees the cat and it is not young then it does not need the squirrel. If something eats the tiger then it does not see the cat.
The cat eats the cat.
@0: The cat is nice.[(triple1)] The cat sees the squirrel.[(triple2)] The squirrel eats the cat.[(triple3)] The squirrel is nice.[(triple4)] The squirrel needs the cat.[(triple5)] The squirrel sees the cat.[(triple6)] The squirrel sees the tiger.[(triple7)] The tiger does not eat the cat.[(triple8)] The tiger does not need the cat.[(triple13)] The tiger eats the squirrel.[(triple9)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is not red.[(triple12)] The tiger sees the cat.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The tiger does not need the tiger.[(((triple10) -> rule1))]