The dog chases the rabbit. The dog eats the tiger. The dog is big. The dog is blue. The dog is rough. The rabbit eats the tiger. The rabbit sees the tiger. The tiger is blue. The tiger is cold. The tiger is rough. If something is green then it is cold. If something sees the rabbit and the rabbit is blue then it sees the dog. All green things are rough. If the rabbit eats the tiger and the rabbit chases the tiger then the tiger eats the dog. If something chases the rabbit then the rabbit is big. If something eats the dog and it is green then the dog is rough. If something chases the tiger then it eats the tiger. If something eats the dog and it sees the rabbit then the rabbit eats the tiger.
The dog does not see the dog.
@0: The dog chases the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is rough.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger is cold.[(triple9)] The tiger is rough.[(triple10)] @1: The rabbit is big.[(((triple1) -> rule5))]