The bear sees the lion. The dog sees the lion. The lion is cold. The rabbit is red. If someone visits the rabbit and the rabbit is red then they eat the bear. If someone is young then they see the lion. If someone sees the dog then the dog visits the rabbit. If someone is cold and nice then they eat the bear. All red people are nice. If the bear eats the lion and the bear is blue then the bear eats the dog.
The dog does not see the lion.
@0: The bear sees the lion.[(triple1)] The dog sees the lion.[(triple2)] The lion is cold.[(triple3)] The rabbit is red.[(triple4)] @1: The rabbit is nice.[(((triple4) -> rule5))]