The bear is young. The dog likes the bear. The lion likes the dog. The rabbit is nice. If something eats the rabbit and it is kind then the rabbit does not like the dog. If something eats the rabbit and the rabbit eats the lion then the lion likes the dog. If the dog eats the lion and the dog sees the lion then the lion sees the bear. If something likes the dog then it is blue. If something is kind and it does not see the dog then the dog is nice. If something sees the lion and the lion likes the rabbit then the rabbit is blue. If something is round and kind then it sees the lion. If the lion likes the bear and the lion does not see the bear then the bear does not like the lion.
The rabbit is nice.
@0: The bear is young.[(triple1)] The dog likes the bear.[(triple2)] The lion likes the dog.[(triple3)] The rabbit is nice.[(triple4)] @1: The lion is blue.[(((triple3) -> rule4))]