The bear likes the rabbit. The rabbit does not see the tiger. The tiger is nice. If someone likes the bear and they do not visit the bear then the bear is cold. If someone likes the bear then the bear sees the rabbit. If the tiger visits the rabbit and the rabbit visits the tiger then the tiger does not like the rabbit. If someone likes the rabbit then the rabbit likes the tiger. If someone likes the tiger then they like the bear. All big people are cold.
The bear sees the rabbit.
@0: The bear likes the rabbit.[(triple1)] The rabbit does not see the tiger.[(triple2)] The tiger is nice.[(triple3)] @1: The rabbit likes the tiger.[(((triple1) -> rule4))] @2: The rabbit likes the bear.[(((((triple1) -> rule4)) -> rule5))] @3: The bear sees the rabbit.[(((((((triple1) -> rule4)) -> rule5)) -> rule2))]