The dog chases the lion. The dog chases the squirrel. The dog is rough. The dog likes the lion. The lion chases the squirrel. The squirrel chases the tiger. The tiger is big. The tiger likes the lion. The tiger likes the squirrel. The tiger does not see the dog. If someone is round and they do not chase the lion then they chase the dog. If someone chases the dog then the dog does not like the squirrel. If someone likes the lion then they do not see the squirrel. If the lion chases the tiger then the lion does not like the squirrel. If someone chases the tiger and the tiger is not blue then they do not like the tiger. If the lion chases the tiger then the tiger chases the dog. If someone chases the squirrel and they see the lion then the lion chases the dog. If someone is blue and they do not chase the tiger then they like the squirrel.
The tiger is not big.
@0: The dog chases the lion.[(triple1)] The dog chases the squirrel.[(triple2)] The dog is rough.[(triple3)] The dog likes the lion.[(triple4)] The lion chases the squirrel.[(triple5)] The squirrel chases the tiger.[(triple6)] The tiger does not see the dog.[(triple10)] The tiger is big.[(triple7)] The tiger likes the lion.[(triple8)] The tiger likes the squirrel.[(triple9)] @1: The dog does not see the squirrel.[(((triple4) -> rule3))] The tiger does not see the squirrel.[(((triple8) -> rule3))]