The dog likes the rabbit. The dog likes the tiger. The rabbit eats the tiger. The rabbit is green. The rabbit likes the tiger. The rabbit sees the dog. The rabbit sees the tiger. The tiger eats the rabbit. The tiger likes the dog. The tiger sees the dog. If someone eats the tiger and the tiger does not see the dog then the tiger is blue. If the tiger sees the dog and the dog likes the tiger then the tiger is blue. If someone eats the rabbit then they do not like the rabbit. If someone is rough and they eat the rabbit then they are blue. If the dog eats the tiger and the rabbit does not see the dog then the tiger eats the dog. If someone is blue then they see the rabbit.
The tiger eats the dog.
@0: The dog likes the rabbit.[(triple1)] The dog likes the tiger.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is green.[(triple4)] The rabbit likes the tiger.[(triple5)] The rabbit sees the dog.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger likes the dog.[(triple9)] The tiger sees the dog.[(triple10)] @1: The tiger does not like the rabbit.[(((triple8) -> rule3))] The tiger is blue.[(((triple10 triple2) -> rule2))] @2: The tiger sees the rabbit.[(((((triple10 triple2) -> rule2)) -> rule6))]