The bear is red. The dog is red. The lion is not red. The rabbit is nice. If something chases the bear and it does not like the lion then the lion does not like the dog. If something is red then it visits the rabbit. If the dog is rough then the dog chases the lion. If something chases the lion and the lion likes the bear then the bear is red. If something chases the dog then it is not rough. If something is red and it does not like the dog then it is not blue.
The rabbit visits the rabbit.
@0: The bear is red.[(triple1)] The dog is red.[(triple2)] The lion is not red.[(triple3)] The rabbit is nice.[(triple4)] @1: The bear visits the rabbit.[(((triple1) -> rule2))] The dog visits the rabbit.[(((triple2) -> rule2))]