The rabbit is cold. The rabbit is rough. The rabbit likes the tiger. The rabbit needs the tiger. The rabbit does not visit the tiger. The tiger is big. The tiger is not cold. The tiger is not nice. The tiger is rough. The tiger likes the rabbit. The tiger needs the rabbit. The tiger visits the rabbit. If someone visits the rabbit then they need the tiger. If someone likes the rabbit and they are not big then the rabbit is rough.
The rabbit visits the rabbit.
@0: The rabbit does not visit the tiger.[(triple5)] The rabbit is cold.[(triple1)] The rabbit is rough.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit needs the tiger.[(triple4)] The tiger is big.[(triple6)] The tiger is not cold.[(triple7)] The tiger is not nice.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger needs the tiger.[(((triple12) -> rule1))]