The bear likes the rabbit. The dog chases the tiger. The dog does not like the bear. The rabbit eats the bear. The rabbit eats the dog. The rabbit eats the tiger. The rabbit likes the dog. The rabbit likes the tiger. The tiger does not eat the rabbit. The tiger is big. The tiger is young. The tiger likes the dog. If the bear chases the tiger and the bear does not like the dog then the dog chases the bear. If someone is big and they do not eat the dog then the dog is not big. If someone is red then they are blue. If someone eats the tiger then the tiger is red. If someone likes the tiger then they are not red. If someone eats the bear and the bear does not like the tiger then they are not young.
The dog is blue.
@0: The bear likes the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The dog does not like the bear.[(triple3)] The rabbit eats the bear.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit likes the dog.[(triple7)] The rabbit likes the tiger.[(triple8)] The tiger does not eat the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger is young.[(triple11)] The tiger likes the dog.[(triple12)] @1: The rabbit is not red.[(((triple8) -> rule5))] The tiger is red.[(((triple6) -> rule4))] @2: The tiger is blue.[(((((triple6) -> rule4)) -> rule3))]