The cow is rough. The lion eats the cow. The lion is blue. The squirrel needs the tiger. The tiger eats the cow. The tiger needs the cow. The tiger does not need the lion. If someone needs the tiger then they are round. If someone eats the tiger and the tiger chases the squirrel then the squirrel does not eat the tiger.
The lion eats the cow.
@0: The cow is rough.[(triple1)] The lion eats the cow.[(triple2)] The lion is blue.[(triple3)] The squirrel needs the tiger.[(triple4)] The tiger does not need the lion.[(triple7)] The tiger eats the cow.[(triple5)] The tiger needs the cow.[(triple6)] @1: The squirrel is round.[(((triple4) -> rule1))]