The cow eats the lion. The cow is cold. The cow likes the lion. The cow likes the tiger. The cow needs the lion. The cow needs the rabbit. The lion is blue. The lion needs the tiger. The rabbit eats the cow. The rabbit is big. The rabbit likes the cow. The tiger is blue. If something eats the lion and the lion eats the cow then the lion needs the tiger. If the tiger eats the cow and the cow is green then the tiger is blue. If something eats the tiger then it eats the lion. If something needs the lion and the lion eats the cow then the cow is blue. If something is nice and cold then it is blue. If something eats the lion then it is cold.
The tiger needs the lion.
@0: The cow eats the lion.[(triple1)] The cow is cold.[(triple2 OR ((triple1) -> rule6))] The cow likes the lion.[(triple3)] The cow likes the tiger.[(triple4)] The cow needs the lion.[(triple5)] The cow needs the rabbit.[(triple6)] The lion is blue.[(triple7)] The lion needs the tiger.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit is big.[(triple10)] The rabbit likes the cow.[(triple11)] The tiger is blue.[(triple12)]