The bear likes the rabbit. The bear visits the rabbit. The lion likes the rabbit. The lion needs the rabbit. The rabbit is rough. The rabbit likes the bear. The rabbit needs the lion. If something needs the rabbit and the rabbit needs the bear then it likes the lion. If something needs the rabbit and it likes the rabbit then it is round. If something likes the lion then it visits the bear. If something visits the lion then the lion visits the bear. If something visits the bear then the bear visits the lion. If something visits the lion and it visits the bear then the lion needs the bear. If something likes the bear and it visits the bear then it is big. If something likes the rabbit then it visits the bear.
The rabbit does not visit the lion.
@0: The bear likes the rabbit.[(triple1)] The bear visits the rabbit.[(triple2)] The lion likes the rabbit.[(triple3)] The lion needs the rabbit.[(triple4)] The rabbit is rough.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit needs the lion.[(triple7)] @1: The bear visits the bear.[(((triple1) -> rule8))] The lion is round.[(((triple4 triple3) -> rule2))] The lion visits the bear.[(((triple3) -> rule8) OR ((((((triple1) -> rule8)) -> rule5)) -> rule4))] @2: The bear visits the lion.[(((((triple1) -> rule8)) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] @3: The lion needs the bear.[(((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6))]