The cow is blue. The cow needs the lion. The cow needs the squirrel. The cow needs the tiger. The lion chases the cow. The lion chases the squirrel. The squirrel does not chase the cow. The squirrel does not chase the lion. The squirrel does not eat the tiger. The squirrel needs the tiger. The tiger is big. The tiger is young. The tiger needs the cow. The tiger needs the lion. The tiger needs the squirrel. If someone is blue and they need the lion then the lion is big. Big people are not blue. If someone needs the lion then they eat the lion. If the lion is green and the lion eats the cow then the cow is young. All big people are not round. If the lion is not young and the lion is not big then the lion eats the tiger.
The lion eats the tiger.
@0: The cow is blue.[(triple1)] The cow needs the lion.[(triple2)] The cow needs the squirrel.[(triple3)] The cow needs the tiger.[(triple4)] The lion chases the cow.[(triple5)] The lion chases the squirrel.[(triple6)] The squirrel does not chase the cow.[(triple7)] The squirrel does not chase the lion.[(triple8)] The squirrel does not eat the tiger.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger is big.[(triple11)] The tiger is young.[(triple12)] The tiger needs the cow.[(triple13)] The tiger needs the lion.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The cow eats the lion.[(((triple2) -> rule3))] The lion is big.[(((triple1 triple2) -> rule1))] The tiger eats the lion.[(((triple14) -> rule3))] The tiger is not blue.[(((triple11) -> rule2))] The tiger is not round.[(((triple11) -> rule5))] @2: The lion is not blue.[(((((triple1 triple2) -> rule1)) -> rule2))] The lion is not round.[(((((triple1 triple2) -> rule1)) -> rule5))]