The cat eats the lion. The cat is round. The lion eats the cat. The lion eats the tiger. The lion needs the tiger. The squirrel does not chase the lion. The squirrel chases the tiger. The squirrel is nice. The tiger chases the lion. The tiger chases the squirrel. The tiger eats the cat. The tiger eats the squirrel. The tiger is nice. The tiger is red. The tiger is not round. The tiger needs the lion. If the cat needs the tiger then the tiger does not chase the lion. If something needs the squirrel then it chases the tiger. If something needs the squirrel and the squirrel is not blue then the squirrel does not chase the tiger. If the squirrel is red then the squirrel is nice. If something is blue then it chases the squirrel. If something eats the cat and it does not chase the lion then the lion chases the cat. If something is nice and it does not chase the lion then the lion is blue. If something is blue and it chases the squirrel then it is nice.
The tiger chases the squirrel.
@0: The cat eats the lion.[(triple1)] The cat is round.[(triple2)] The lion eats the cat.[(triple3)] The lion eats the tiger.[(triple4)] The lion needs the tiger.[(triple5)] The squirrel chases the tiger.[(triple7)] The squirrel does not chase the lion.[(triple6)] The squirrel is nice.[(triple8)] The tiger chases the lion.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger is nice.[(triple13)] The tiger is not round.[(triple15)] The tiger is red.[(triple14)] The tiger needs the lion.[(triple16)] @1: The lion is blue.[(((triple8 triple6) -> rule7))] @2: The lion chases the squirrel.[(((((triple8 triple6) -> rule7)) -> rule5))] @3: The lion is nice.[(((((triple8 triple6) -> rule7) ((((triple8 triple6) -> rule7)) -> rule5)) -> rule8))]