The cow is red. The dog chases the lion. The lion likes the cow. The rabbit needs the dog. If someone needs the cow then the cow chases the dog. If someone chases the lion and they chase the dog then the lion likes the rabbit. If someone needs the cow then they need the rabbit. If someone needs the dog then the dog needs the cow. If someone needs the cow then they chase the cow. If someone likes the cow then the cow is big. If someone chases the cow then they are rough. If the cow likes the rabbit then the rabbit is red.
The rabbit is not red.
@0: The cow is red.[(triple1)] The dog chases the lion.[(triple2)] The lion likes the cow.[(triple3)] The rabbit needs the dog.[(triple4)] @1: The cow is big.[(((triple3) -> rule6))] The dog needs the cow.[(((triple4) -> rule4))] @2: The cow chases the dog.[(((((triple4) -> rule4)) -> rule1))] The dog chases the cow.[(((((triple4) -> rule4)) -> rule5))] The dog needs the rabbit.[(((((triple4) -> rule4)) -> rule3))] @3: The dog is rough.[(((((((triple4) -> rule4)) -> rule5)) -> rule7))]