The cow eats the lion. The cow is red. The cow needs the tiger. The lion eats the tiger. The lion is big. The lion needs the tiger. The tiger is red. The tiger needs the lion. The tiger visits the cow. The tiger visits the lion. If something eats the tiger and it needs the tiger then it needs the cow. If something needs the lion then the lion needs the cow. If something is young and it visits the tiger then it is red. If something visits the cow and it visits the lion then the cow needs the lion. If something needs the cow then it eats the lion. If the tiger is young then the tiger needs the lion.
The lion is big.
@0: The cow eats the lion.[(triple1)] The cow is red.[(triple2)] The cow needs the tiger.[(triple3)] The lion eats the tiger.[(triple4)] The lion is big.[(triple5)] The lion needs the tiger.[(triple6)] The tiger is red.[(triple7)] The tiger needs the lion.[(triple8)] The tiger visits the cow.[(triple9)] The tiger visits the lion.[(triple10)] @1: The cow needs the lion.[(((triple9 triple10) -> rule4))] The lion needs the cow.[(((triple8) -> rule2) OR ((triple4 triple6) -> rule1) OR ((((triple9 triple10) -> rule4)) -> rule2))] @2: The lion eats the lion.[(((((triple8) -> rule2)) -> rule5) OR ((((triple4 triple6) -> rule1)) -> rule5) OR ((((((triple9 triple10) -> rule4)) -> rule2)) -> rule5))]