The dog is cold. The dog is kind. The dog is not rough. The dog likes the mouse. The dog likes the tiger. The mouse is cold. The mouse likes the rabbit. The mouse likes the tiger. The mouse visits the tiger. The rabbit is cold. The rabbit is round. The rabbit likes the mouse. The rabbit likes the tiger. The tiger eats the mouse. The tiger eats the rabbit. If someone visits the tiger then they visit the dog.
The rabbit likes the rabbit.
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is not rough.[(triple3)] The dog likes the mouse.[(triple4)] The dog likes the tiger.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the rabbit.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse visits the tiger.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is round.[(triple11)] The rabbit likes the mouse.[(triple12)] The rabbit likes the tiger.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger eats the rabbit.[(triple15)] @1: The mouse visits the dog.[(((triple9) -> rule1))]