The cat eats the lion. The cat is nice. The lion eats the cat. The lion eats the tiger. The lion sees the squirrel. The squirrel eats the cat. The squirrel eats the tiger. The squirrel likes the tiger. The squirrel sees the lion. The tiger eats the cat. The tiger eats the lion. The tiger is kind. The tiger is rough. The tiger sees the cat. The tiger sees the lion. The tiger sees the squirrel. If something sees the squirrel then the squirrel sees the cat. If something sees the lion and it sees the cat then the cat is big. If something eats the tiger then it is nice. If something eats the squirrel then the squirrel sees the lion. If the squirrel is nice then the squirrel is rough. If something is rough then it sees the squirrel. If something is big and it likes the lion then the lion likes the tiger. If something is big then it does not see the cat.
The lion is not kind.
@0: The cat eats the lion.[(triple1)] The cat is nice.[(triple2)] The lion eats the cat.[(triple3)] The lion eats the tiger.[(triple4)] The lion sees the squirrel.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel sees the lion.[(triple9)] The tiger eats the cat.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is kind.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the lion.[(triple15)] The tiger sees the squirrel.[(triple16 OR ((triple13) -> rule6))] @1: The cat is big.[(((triple15 triple14) -> rule2) OR ((triple9 ((triple16) -> rule1)) -> rule2) OR ((triple9 ((triple5) -> rule1)) -> rule2) OR ((triple9 ((((triple13) -> rule6)) -> rule1)) -> rule2) OR ((triple9 ((((((((triple7) -> rule3)) -> rule5)) -> rule6)) -> rule1)) -> rule2))] The lion is nice.[(((triple4) -> rule3))] The squirrel is nice.[(((triple7) -> rule3))] The squirrel sees the cat.[(((triple16) -> rule1) OR ((triple5) -> rule1) OR ((((triple13) -> rule6)) -> rule1) OR ((((((((triple7) -> rule3)) -> rule5)) -> rule6)) -> rule1))] @2: The cat does not see the cat.[(((((triple15 triple14) -> rule2)) -> rule8) OR ((((triple9 ((triple16) -> rule1)) -> rule2)) -> rule8) OR ((((triple9 ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple9 ((((triple13) -> rule6)) -> rule1)) -> rule2)) -> rule8) OR ((((triple9 ((((((((triple7) -> rule3)) -> rule5)) -> rule6)) -> rule1)) -> rule2)) -> rule8))] The squirrel is rough.[(((((triple7) -> rule3)) -> rule5))] @3: The squirrel sees the squirrel.[(((((((triple7) -> rule3)) -> rule5)) -> rule6))]