The cat chases the squirrel. The cat eats the squirrel. The cat does not eat the tiger. The cat is not rough. The cat is round. The cat does not need the squirrel. The squirrel eats the cat. The squirrel is young. The squirrel needs the tiger. The tiger is kind. The tiger is young. The tiger needs the cat. If someone chases the tiger and the tiger chases the cat then the tiger does not eat the cat. If someone needs the squirrel then they are rough. If someone is round and not green then they are rough. Round people are young. If someone eats the cat then the cat chases the tiger. If someone needs the cat and they need the squirrel then the cat is rough. If someone eats the tiger then they eat the squirrel. If someone eats the tiger and they eat the squirrel then the squirrel is round.
The cat chases the cat.
@0: The cat chases the squirrel.[(triple1)] The cat does not eat the tiger.[(triple3)] The cat does not need the squirrel.[(triple6)] The cat eats the squirrel.[(triple2)] The cat is not rough.[(triple4)] The cat is round.[(triple5)] The squirrel eats the cat.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is kind.[(triple10)] The tiger is young.[(triple11)] The tiger needs the cat.[(triple12)] @1: The cat chases the tiger.[(((triple7) -> rule5))] The cat is young.[(((triple5) -> rule4))]