The dog is cold. The dog is rough. The dog likes the rabbit. The mouse is big. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is young. The rabbit likes the dog. The rabbit sees the mouse. If someone is cold then they visit the mouse. If someone sees the rabbit and they visit the dog then they see the mouse.
The mouse visits the dog.
@0: The dog is cold.[(triple1)] The dog is rough.[(triple2)] The dog likes the rabbit.[(triple3)] The mouse is big.[(triple4)] The mouse likes the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit sees the mouse.[(triple12)] @1: The dog visits the mouse.[(((triple1) -> rule1))] The rabbit visits the mouse.[(((triple9) -> rule1))]