The bear does not chase the dog. The dog is big. The tiger sees the dog. If the dog does not like the bear then the dog does not chase the bear. If someone is nice and they see the bear then the bear is young. If someone chases the tiger then the tiger chases the bear. If someone is nice and they do not like the dog then they do not like the tiger. If someone chases the bear then they see the bear. If the dog chases the tiger and the dog does not like the tiger then the dog sees the tiger. If the tiger does not see the bear then the bear does not see the dog. If someone sees the dog then they are cold.
The dog is not cold.
@0: The bear does not chase the dog.[(triple1)] The dog is big.[(triple2)] The tiger sees the dog.[(triple3)] @1: The tiger is cold.[(((triple3) -> rule8))]