The rabbit is rough. The rabbit visits the tiger. The tiger is blue. The tiger is green. The tiger likes the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If the rabbit is blue and the rabbit does not visit the tiger then the tiger sees the rabbit. If something is green then it likes the tiger. If something visits the rabbit and the rabbit visits the tiger then it likes the tiger.
The rabbit does not visit the tiger.
@0: The rabbit is rough.[(triple1)] The rabbit visits the tiger.[(triple2)] The tiger is blue.[(triple3)] The tiger is green.[(triple4)] The tiger likes the rabbit.[(triple5)] The tiger sees the rabbit.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The tiger likes the tiger.[(((triple4) -> rule2) OR ((triple7 triple2) -> rule3))]