The bear likes the tiger. The rabbit is green. The rabbit is rough. The rabbit likes the bear. The rabbit needs the bear. The rabbit visits the bear. The tiger likes the bear. The tiger needs the bear. The tiger needs the rabbit. The tiger visits the rabbit. If something is green and it likes the bear then it is nice. If something is nice then it likes the rabbit. If something likes the rabbit then the rabbit is blue.
The rabbit likes the rabbit.
@0: The bear likes the tiger.[(triple1)] The rabbit is green.[(triple2)] The rabbit is rough.[(triple3)] The rabbit likes the bear.[(triple4)] The rabbit needs the bear.[(triple5)] The rabbit visits the bear.[(triple6)] The tiger likes the bear.[(triple7)] The tiger needs the bear.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit is nice.[(((triple2 triple4) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple2 triple4) -> rule1)) -> rule2))] @3: The rabbit is blue.[(((((((triple2 triple4) -> rule1)) -> rule2)) -> rule3))]