The dog sees the rabbit. The rabbit needs the tiger. The rabbit sees the tiger. The tiger eats the dog. The tiger is blue. The tiger is red. The tiger does not need the rabbit. If someone is red and they see the dog then they do not need the rabbit. If the dog needs the rabbit and the dog sees the tiger then the dog does not need the tiger. If the tiger does not need the rabbit then the rabbit is blue.
The rabbit sees the rabbit.
@0: The dog sees the rabbit.[(triple1)] The rabbit needs the tiger.[(triple2)] The rabbit sees the tiger.[(triple3)] The tiger does not need the rabbit.[(triple7)] The tiger eats the dog.[(triple4)] The tiger is blue.[(triple5)] The tiger is red.[(triple6)] @1: The rabbit is blue.[(((triple7) -> rule3))]