The dog eats the tiger. The dog is not green. The dog is nice. The dog needs the tiger. The rabbit eats the tiger. The rabbit is not cold. The rabbit is green. The rabbit is nice. The rabbit sees the tiger. The tiger eats the dog. The tiger needs the rabbit. The tiger sees the dog. If someone eats the dog then they are green. If someone sees the tiger then the tiger is blue. If someone needs the tiger and the tiger does not need the dog then they do not eat the rabbit. If someone is blue and cold then they eat the rabbit. If someone eats the rabbit then they are nice. If someone needs the tiger then the tiger is cold. If the tiger needs the dog then the dog is green. If the rabbit needs the dog and the tiger does not see the rabbit then the dog eats the tiger.
The dog does not see the dog.
@0: The dog eats the tiger.[(triple1)] The dog is nice.[(triple3)] The dog is not green.[(triple2)] The dog needs the tiger.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is green.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is not cold.[(triple6)] The rabbit sees the tiger.[(triple9)] The tiger eats the dog.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger sees the dog.[(triple12)] @1: The tiger is blue.[(((triple9) -> rule2))] The tiger is cold.[(((triple4) -> rule6))] The tiger is green.[(((triple10) -> rule1))] @2: The tiger eats the rabbit.[(((((triple9) -> rule2) ((triple4) -> rule6)) -> rule4))] @3: The tiger is nice.[(((((((triple9) -> rule2) ((triple4) -> rule6)) -> rule4)) -> rule5))]