The cow is not big. The cow visits the lion. The lion eats the cow. The lion is green. The lion is not red. The lion likes the cow. The lion visits the cow. If someone likes the cow and they visit the lion then the lion is red. If the lion likes the cow then the cow is not red. If someone likes the cow then the cow likes the lion.
The cow does not like the lion.
@0: The cow is not big.[(triple1)] The cow visits the lion.[(triple2)] The lion eats the cow.[(triple3)] The lion is green.[(triple4)] The lion is not red.[(triple5)] The lion likes the cow.[(triple6)] The lion visits the cow.[(triple7)] @1: The cow is not red.[(((triple6) -> rule2))] The cow likes the lion.[(((triple6) -> rule3))]