The bear visits the rabbit. The rabbit visits the tiger. The tiger is big. If someone is big then they visit the tiger. If someone visits the tiger and the tiger does not see the bear then the bear visits the rabbit. If someone needs the tiger then they do not visit the bear. If someone is nice and not young then they visit the rabbit. If someone needs the tiger and they visit the rabbit then they are not big. If someone visits the tiger then they need the tiger. If someone sees the bear and they do not see the tiger then the bear does not need the rabbit. If someone sees the tiger then they do not need the rabbit.
The tiger does not visit the rabbit.
@0: The bear visits the rabbit.[(triple1)] The rabbit visits the tiger.[(triple2)] The tiger is big.[(triple3)] @1: The rabbit needs the tiger.[(((triple2) -> rule6))] The tiger visits the tiger.[(((triple3) -> rule1))] @2: The rabbit does not visit the bear.[(((((triple2) -> rule6)) -> rule3))] The tiger needs the tiger.[(((((triple3) -> rule1)) -> rule6))] @3: The tiger does not visit the bear.[(((((((triple3) -> rule1)) -> rule6)) -> rule3))]