The bear visits the rabbit. The cat likes the lion. The lion does not visit the cat. The rabbit sees the cat. If something visits the rabbit then the rabbit likes the bear. If something likes the bear then it is rough. If something is rough then it visits the rabbit. If something likes the lion and the lion does not visit the bear then the lion is rough. If something is young then it is green. If something sees the rabbit then the rabbit likes the lion. If something sees the lion then the lion visits the cat. If something visits the cat then the cat does not like the lion.
The rabbit likes the bear.
@0: The bear visits the rabbit.[(triple1)] The cat likes the lion.[(triple2)] The lion does not visit the cat.[(triple3)] The rabbit sees the cat.[(triple4)] @1: The rabbit likes the bear.[(((triple1) -> rule1))] @2: The rabbit is rough.[(((((triple1) -> rule1)) -> rule2))] @3: The rabbit visits the rabbit.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]