The rabbit is nice. The rabbit needs the tiger. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is kind. The tiger is red. The tiger is rough. The tiger needs the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If something sees the rabbit and the rabbit is nice then it is nice.
The tiger visits the rabbit.
@0: The rabbit is nice.[(triple1)] The rabbit needs the tiger.[(triple2)] The rabbit sees the tiger.[(triple3)] The rabbit visits the tiger.[(triple4)] The tiger is kind.[(triple5)] The tiger is red.[(triple6)] The tiger is rough.[(triple7)] The tiger needs the rabbit.[(triple8)] The tiger sees the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is nice.[(((triple9 triple1) -> rule1))]