The dog is green. The rabbit likes the dog. The squirrel is cold. The tiger does not eat the rabbit. The tiger eats the squirrel. The tiger is round. The tiger likes the squirrel. If someone likes the rabbit and they are cold then they visit the rabbit. If the tiger does not eat the rabbit then the rabbit likes the squirrel. If the squirrel is kind and the squirrel does not like the tiger then the tiger does not eat the dog. If someone likes the dog and the dog visits the squirrel then the dog does not eat the rabbit. Round people are nice. If the tiger likes the dog and the tiger is not cold then the dog visits the tiger.
The dog does not visit the rabbit.
@0: The dog is green.[(triple1)] The rabbit likes the dog.[(triple2)] The squirrel is cold.[(triple3)] The tiger does not eat the rabbit.[(triple4)] The tiger eats the squirrel.[(triple5)] The tiger is round.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The rabbit likes the squirrel.[(((triple4) -> rule2))] The tiger is nice.[(((triple6) -> rule5))]