The cow eats the lion. The cow eats the tiger. The cow is red. The cow needs the lion. The lion eats the tiger. The lion is rough. The lion is round. The tiger is kind. The tiger likes the cow. The tiger needs the cow. If someone eats the tiger and the tiger eats the cow then they are round. If someone eats the cow then they need the cow. If someone eats the lion then they eat the cow. If someone needs the lion then they need the cow. If someone is rough then they like the cow. If someone needs the lion and they eat the cow then the cow likes the lion. If someone needs the tiger and the tiger likes the cow then the cow eats the tiger. If someone is green and they need the cow then they eat the cow.
The lion does not eat the cow.
@0: The cow eats the lion.[(triple1)] The cow eats the tiger.[(triple2)] The cow is red.[(triple3)] The cow needs the lion.[(triple4)] The lion eats the tiger.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The tiger is kind.[(triple8)] The tiger likes the cow.[(triple9)] The tiger needs the cow.[(triple10)] @1: The cow eats the cow.[(((triple1) -> rule3))] The cow needs the cow.[(((triple4) -> rule4) OR ((((triple1) -> rule3)) -> rule2))] The lion likes the cow.[(((triple6) -> rule5))] @2: The cow likes the lion.[(((triple4 ((triple1) -> rule3)) -> rule6))]