The dog chases the tiger. The dog is blue. The dog is kind. The rabbit chases the dog. The rabbit does not eat the dog. The rabbit does not eat the tiger. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit needs the dog. The tiger chases the dog. The tiger chases the rabbit. The tiger is blue. The tiger does not need the dog. The tiger needs the rabbit. If something chases the rabbit then the rabbit does not chase the tiger. If the dog does not eat the tiger and the tiger is not nice then the dog eats the rabbit. If something chases the rabbit and it does not eat the rabbit then the rabbit chases the dog. If something needs the tiger then the tiger is not green. If something chases the dog and it is kind then the dog needs the tiger. If something is blue and green then it is kind.
The tiger is not blue.
@0: The dog chases the tiger.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit does not eat the dog.[(triple5)] The rabbit does not eat the tiger.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is green.[(triple8)] The rabbit is nice.[(triple9)] The rabbit needs the dog.[(triple10)] The tiger chases the dog.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger does not need the dog.[(triple14)] The tiger is blue.[(triple13)] The tiger needs the rabbit.[(triple15)] @1: The rabbit does not chase the tiger.[(((triple12) -> rule1))] The rabbit is kind.[(((triple7 triple8) -> rule6))] @2: The dog needs the tiger.[(((triple4 ((triple7 triple8) -> rule6)) -> rule5))] @3: The tiger is not green.[(((((triple4 ((triple7 triple8) -> rule6)) -> rule5)) -> rule4))]